Title: Formal Description Techniques IX: Theory, application and tools / Edition 1, Author: R. Gotzhein
Title: Computer - Neue Flügel des Geistes?: Die Evolution computergestützter Technik, Wissenschaft, Kultur und Philosophie / Edition 1, Author: Klaus Mainzer
Title: Pattern Matching Algorithms, Author: Alberto Apostolico
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic ProgrammingVolume 5: Logic Programming, Author: Dov M. Gabbay
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay

Pagination Links