Title: Logic in Computer Science: Modelling and Reasoning about Systems / Edition 2, Author: Michael Huth
Title: Digital Design and Computer Architecture / Edition 2, Author: David Harris
Paperback from $61.97 $89.95 Current price is $61.97, Original price is $89.95.
Title: An Inductive Logic Programming Approach to Statistical Relational Learning: Volume 148 Frontiers in Artificial Intelligence and Applications, Author: K. Kersting
Title: A Baker's Dozen: Real Analog Solutions for Digital Designers, Author: Bonnie Baker
Title: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1, Author: Frank Pfenning
Title: Synchronous Precharge Logic, Author: Marek Smoszna
Title: Logic-Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers / Edition 1, Author: Annalisa Bossi
Title: Reasoning with Logic Programming / Edition 1, Author: Jose Julio Alferes
Title: Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings / Edition 1, Author: Luke Ong
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
Title: Applications of Declarative Programming and Knowledge Management: 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, / Edition 1, Author: Dietmar Seipel
Title: Numbers and Computers / Edition 2, Author: Ronald T. Kneusel
Title: Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings / Edition 1, Author: Georg Gottlob
Title: Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings / Edition 1, Author: Matthias Baaz
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / Edition 1, Author: Miki Hermann
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings / Edition 1, Author: Moshe Vardi
Title: Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings / Edition 1, Author: Evelina Lamma
Title: Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings / Edition 1, Author: Gerhard Brewka
Title: Essentials of Logic Programming, Author: Christopher John Hogger
Title: Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / Edition 1, Author: Stephen Muggleton

Pagination Links