Liknande böcker

A Recursive Introduction to the Theory of Computation
Bok av Carl H. Smith
Sets, Logic and Maths for Computing
Bok av David Makinson
Completeness and Reduction in Algebraic Complexity Theory
Bok av Peter Burgisser
Categorical Combinators, Sequential Algorithms, and Functional Programming
Bok av Pierre-Louis Curien
The Foundations of Computability Theory
Bok av Borut Robic
Parametric Lambda Calculus
Bok av Luca Paolini och Simona Ronchi Della Rocca
Mathematics Almost Everywhere: In Memory Of Solomon Marcus
Bok av Bellow Alexandra Bellow
12 12 Schlusselkonzepte zur Mathematik
Bok av Oliver Deiser Caroline Lasser Elmar Vogt Dirk Werner

Resolution Calculus

Bok av Alexander Leitsch