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: Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings / Edition 1, Author: Jan Maluszynski
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
Title: Circuit Synthesis with VHDL / Edition 1, Author: Roland Airiau
Title: Inductive Logic Programming: 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings / Edition 1, Author: Celine Rouveirol
Title: Introduction to Logic Design / Edition 2, Author: Sajjan G. Shiva
Title: Modal and Temporal Properties of Processes / Edition 1, Author: Colin Stirling
Title: Digital Design: Basic Concepts and Principles / Edition 1, Author: Mohammad Karim
Title: Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / Edition 1, Author: Michael Hanus
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Formal Logical Methods for System Security and Correctness, Author: Orna Grumberg
Title: Logic-Based Artificial Intelligence / Edition 1, Author: Jack Minker
Title: Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines / Edition 1, Author: Alakananda Bhattacharya
Title: Rapid Prototyping of Digital Systems / Edition 1, Author: James O. Hamblen
Title: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1, Author: Frank Pfenning
Title: Computational Logic / Edition 1, Author: Ulrich Berger

Pagination Links