Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic ProgrammingVolume 5: Logic Programming, Author: Dov M. Gabbay
Title: A Baker's Dozen: Real Analog Solutions for Digital Designers, Author: Bonnie Baker
Title: Autonomous, Model-Based Diagnosis Agents / Edition 1, Author: Michael Schroeder
Title: Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings / Edition 1, Author: Michael Kaminski
Title: Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / Edition 1, Author: Jacques Garrigue
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: Types for Proofs and Programs: International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers / Edition 1, Author: Eduardo Gimenez
Title: Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II / Edition 1, Author: Antonis C. Kakas
Title: Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development / Edition 1, Author: Maurice Bruynooghe
Title: Digital Design: Basic Concepts and Principles / Edition 1, Author: Mohammad Karim
Title: Field-Programmable Logic and Applications: 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / Edition 1, Author: Gordon Brebner
Title: Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / Edition 1, Author: John Gallagher
Title: Field-Programmable Logic and Applications. From FPGAs to Computing Paradigm: 8th International Workshop, FPL'98 Tallinn, Estonia, August 31 - September 3, 1998 Proceedings / Edition 1, Author: Reiner W. Hartenstein
Title: Digital Design and Implementation with Field Programmable Devices / Edition 1, Author: Zainalabedin Navabi
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: Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints / Edition 1, Author: Ioannis Vlahavas
Title: Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings / Edition 1, Author: Masami Hagiya
Title: Applications of Logic Databases / Edition 1, Author: Raghu Ramakrishnan
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Switching Theory for Logic Synthesis / Edition 1, Author: Tsutomu Sasao

Pagination Links