Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley
Title: Advanced Techniques in Logic Synthesis, Optimizations and Applications / Edition 1, Author: Kanupriya Gulati
Title: Advances in Computational and Stochastic Optimization, Logic Programming, and Heuristic Search: Interfaces in Computer Science and Operations Research / Edition 1, Author: David L. Woodruff
Title: Advances in Inductive Logic Programming / Edition 1, Author: L De Raedt
Title: Advances in Temporal Logic / Edition 1, Author: Howard Barringer
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: An Inductive Logic Programming Approach to Statistical Relational Learning: Volume 148 Frontiers in Artificial Intelligence and Applications, Author: K. Kersting
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: Arithmetic and Logic in Computer Systems / Edition 1, Author: Mi Lu
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / Edition 1, Author: David Basin
Title: Autonomous, Model-Based Diagnosis Agents / Edition 1, Author: Michael Schroeder
Title: Circuit Synthesis with VHDL / Edition 1, Author: Roland Airiau
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Computational Logic / Edition 1, Author: Ulrich Berger
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

Pagination Links