Title: A Baker's Dozen: Real Analog Solutions for Digital Designers, Author: Bonnie Baker
Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley
Title: Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units, Author: Ulrich W. Kulisch
Title: Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / Edition 1, Author: Michael Hanus
Title: Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings / Edition 1, Author: Michael Hanus
Title: Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings / Edition 1, Author: Helene Kirchner
Title: ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992, Author: Krysia Broda
Title: An Inductive Logic Programming Approach to Statistical Relational Learning: Volume 148 Frontiers in Artificial Intelligence and Applications, Author: K. Kersting
Title: An Introduction to the Logic of the Computing Sciences: A Contemporary Look at Symbolic Logic, Author: Richard F. Von Dohlen
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: Argumentation in Multi-Agent Systems: Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, Revised Selected and Invited Papers, Author: Nicolas Maudet
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings, Author: Rajeev Gore
Title: Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / Edition 1, Author: David Basin
Title: Belief Revision in Non-Classical Logics, Author: Márcio Moretto Ribeiro
Title: Challenges for Action Theories, Author: Michael Thielscher
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / Edition 1, Author: João Leite
Title: Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers / Edition 1, Author: João Leite
Title: Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / Edition 1, Author: Fariba Sadri

Pagination Links