Title: Cooperation in Heterogeneous Theorem Prover Networks / Edition 1, Author: Dirk Fuchs
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings / Edition 1, Author: Dino Pedreschi
Title: Field Programmable Logic and Applications: 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. / Edition 1, Author: Wayne Luk
Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley
Title: Constraints in Computational Logics: Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures / Edition 1, Author: Hubert Comon
Title: Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings / Edition 1, Author: Evelina Lamma
Title: Fundamentals of Switching Theory and Logic Design: A Hands on Approach / Edition 1, Author: Jaakko Astola
Title: Godel's Incompleteness Theorems / Edition 1, Author: Raymond M. Smullyan
Title: Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / Edition 1, Author: Boi Faltings
Title: Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II / Edition 1, Author: Antonis C. Kakas
Title: Rapid Prototyping of Digital Systems: A Tutorial Approach / Edition 2, Author: James O. Hamblen
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / Edition 1, Author: Geoff Sutcliffe
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo
Title: Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings / Edition 1, Author: Vladimir Lifschitz
Title: Computational Logic / Edition 1, Author: Ulrich Berger
Title: An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic, Author: Richard F. Von Dohlen
Title: Contemporary Logic Design / Edition 2, Author: Randy Katz
Paperback from $205.91 $293.32 Current price is $205.91, Original price is $293.32.
Title: Digital Logic for Computing, Author: John Seiffertt
Title: Self-Checking and Fault-Tolerant Digital Design / Edition 1, Author: Parag K. Lala

Pagination Links