Liknande böcker

Dual Tableaux: Foundations, Methodology, Case Studies
Bok av Ewa. Orlowska
Logical Foundations of Computer Science : International Symposium, LFCS...
Bok av Sergei Artemov
Relational and Algebraic Methods in Computer Science : 16th Internationa...
Bok av Peter Hoefner
Logic, Rationality, and Interaction
Bok av Hans. Ditmarsch
Inductive Logic Programming
Bok
Logic, Language, Information, and Computation : 24th International Works...
Bok av Juliette Kennedy
Graph Transformation
Bok av Leen Lambers
Principles and Practice of Constraint Programming : 24th International C...
Bok av Linnea Ingmar

Mathematical Logic for Computer Science 3rd Edition

Bok av M. Ben-Ari