Liknande böcker

Trends, Techniques, and Problems in Theoretical Computer Science : 4th I...
Bok av Alica Kelemenova
Lambda-Calculus and Computer Science Theory : Proceedings of the Symposi...
Bok av C Bohm
Higher-Order Algebra, Logic, and Term Rewriting : Second International W...
Bok av Gilles Dowek
Types for Proofs and Programs : International Workshop TYPES '93, Nijmeg...
Bok av Henk Barendregt
Theorem Proving with Analytic Tableaux and Related Methods : 5th Interna...
Bok av Pierangelo Miglioli
Computer science logic
Bok av Egon Borger
Mathematical Foundations of Computer Science 1980 : 9th Symposium Held i...
Bok av P Dembinski
9th International Conference on Automated Deduction : Argonne, Illinois,...
Bok av Ewing Lusk

Logic and Machines: Decision Problems and Complexity

Bok av E Borger