Title: Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings / Edition 1, Author: Gerhard Brewka
Title: The Clausal Theory of Types, Author: D. A. Wolfram
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logical Foundations, Author: Dov M. Gabbay
Title: Field-Programmable Gate Array Technology / Edition 1, Author: Stephen M. Trimberger
Title: Circuit Synthesis with VHDL / Edition 1, Author: Roland Airiau
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction Methodologies, Author: Dov M. Gabbay
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay
Title: Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis / Edition 1, Author: William K.C. Lam
Title: Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings / Edition 1, Author: Roy Dyckhoff
Title: Implementations of Logic Programming Systems / Edition 1, Author: Evan Tick
Title: Logic Synthesis for Control Automata / Edition 1, Author: Samary Baranov
Title: Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings / Edition 1, Author: Frank Pfenning
Title: Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings / Edition 1, Author: Manuel Hermenegildo
Title: Multiprocessor Execution of Logic Programs / Edition 1, Author: Gopal Gupta
Title: Applications of Logic Databases / Edition 1, Author: Raghu Ramakrishnan
Title: Cooperating Heterogeneous Systems / Edition 1, Author: David G. Schwartz
Title: Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings / Edition 1, Author: Laurent Fribourg
Title: Logic Program Synthesis from Incomplete Information / Edition 1, Author: Pierre Flener
Title: Field-Programmable Gate Arrays: Reconfigurable Logic for Rapid Prototyping and Implementation of Digital Systems / Edition 1, Author: John V. Oldfield
Title: Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings / Edition 1, Author: V. Wiktor Marek

Pagination Links