Enlarge image Witaj Nieznajomy, zaloguj się
Opis produktu
Computer Science Logic - Egon Brger
The results of a workshop, this volume contains a series of essays on a variety of logical topics in computer science, including abstract data types, bounded theories, complexity results, denotational semantics, cut elimination, minimal proofs, Petri nets, plausibility logic and much more.
Szczegóły
Computer Science Logic
wrzesień 1992
Springer-Verlag GmbH
440
354055789X
9783540557890
235 x 155 x 23
Egon Brger
wrzesień 1992
Springer-Verlag GmbH
440
354055789X
9783540557890
235 x 155 x 23
