Liknande böcker

Handbook of Logic in Artificial Intelligence and Logic Programming: Volu...
Bok av Dov M. Gabbay
Logical Methods : In Honor of Anil Nerode's Sixtieth Birthday
Bok av John N Crossley
Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Categorical Combinators, Sequential Algorithms, and Functional Programming
Bok av Pierre-Louis Curien
The Life and Work of Leon Henkin : Essays on His Contributions
Bok av María. Manzano
Modeling Nature
Bok av Richard J. Gaylord och Kazume Nishidate
Modal Logic and Process Algebra
Bok av Alban (EDT) Ponse och Maarten De (EDT) Rijke m.fl.
Information and Randomness
Bok av Cristian Calude

Einfuhrung in die Mathematische Logik : Ein Lehrbuch

Bok av Wolfgang Rautenberg