Title: Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers / Edition 1, Author: Louis M. Pereira
Title: Field-Programmable Logic and Applications: 5th International Workshop, FPL '95, Oxford, United Kingdom, August 29 - September 1, 1995. Proceedings / Edition 1, Author: Will Moore
Title: Programming Languages: Implementations, Logics and Programs: 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings / Edition 1, Author: Manuel Hermenegildo
Title: Logic-Based 0-1 Constraint Programming / Edition 1, Author: Peter Barth
Title: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings / Edition 1, Author: Maurizio Proietti
Title: Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. / Edition 1, Author: Roy Dyckhoff
Title: Representations of Discrete Functions / Edition 1, Author: Tsutomu Sasao
Title: Digital Designing in the Programmable Logic Devices / Edition 1, Author: John W. Carter
Paperback from $173.42 $223.00 Current price is $173.42, Original price is $223.00.
Title: Over-Constrained Systems / Edition 1, Author: Michael Jampel
Title: Reasoning with Logic Programming / Edition 1, Author: Jose Julio Alferes
Title: Field-Programmable Logic, Smart Applications, New Paradigms and Compilers: 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 - 25, Proceedings / Edition 1, Author: Reiner W. Hartenstein
Title: Algebraic and Logic Programming: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings / Edition 1, Author: Michael Hanus
Title: Logic Synthesis Using Synopsys� / Edition 2, Author: Pran Kurup
Title: Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings / Edition 1, Author: Dino Pedreschi
Title: Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / Edition 1, Author: John Gallagher
Title: Synthesis of Finite State Machines: Logic Optimization / Edition 1, Author: Tiziano Villa
Title: Non-Monotonic Extensions of Logic Programming: Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers / Edition 1, Author: Juergen Dix
Title: Foundations of Inductive Logic Programming / Edition 1, Author: Shan-Hwei Nienhuys-Cheng
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
Title: Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers / Edition 1, Author: Dirk van Dalen

Pagination Links