Liknande böcker

Computability and Randomness
Bok av André. Nies
Algorithm Theory - SWAT 2010
Bok av Haim. Kaplan
How to prove it : a structured approach
Bok av Daniel J. Velleman
Automated Deduction in Geometry : 4th International Workshop, ADG 2002,...
Bok av Franz Winkler
Categories for types
Bok av Roy L. Crole
Sets, Logic and Maths for Computing
Bok av David Makinson
Many-valued logics
Bok av Leonard Bolc
Descriptive Complexity
Bok av Neil Immerman

Bounded Arithmetic, Propositional Logic and Complexity Theory

Bok av Jan. Krajicek