Liknande böcker

Fundamentals of computation theory
Bok av Lothar Budach
Logic and Its Applications
Bok av R. Ramanujam
Computer science logic
Bok av Egon Borger
Computer Science Logic : 11th International Workshop, CSL'97, Annual Con...
Bok av Mogens Nielsen
Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Foundations of software technology and theoretical computer science
Bok av P S Thiagarajan
Logical Foundations of Computer Science - Tver '92 : Tver '92 : procee...
Bok av Anil Nerode
Machines, Computations, and Universality
Bok av Jérôme. Durand-Lose

Fachtagung Uber Automatentheorie und Formale Sprachen: No. 1 : GI. Gesellschaft fur Informatik e.V. Bonn, 9.-12. Juli 1973

Bok av Karl-Heinz Bohling