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: Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, Author: Robert Nieuwenhuis
Title: Principles and Structures of FPGAs, Author: Hideharu Amano
Title: Parallelism in Logic: Its Potential for Performance and Program Development, Author: Franz Kurfeß
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / Edition 1, Author: Geoff Sutcliffe
Title: Artificial Intelligence in Logic Design / Edition 1, Author: Svetlana N. Yanushkevich
Title: Logic Circuit Design / Edition 1, Author: Alan W. Shaw
Title: Circuit Synthesis with VHDL / Edition 1, Author: Roland Airiau
Title: Logic Synthesis for Low Power VLSI Designs / Edition 1, Author: Sasan Iman
Title: Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers, Author: Marco Nehmeier
Title: Logic-Based Artificial Intelligence / Edition 1, Author: Jack Minker
Title: Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings, Author: Ivan Lanese
Title: Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers / Edition 1, Author: Andy King
Title: Logic-Based 0-1 Constraint Programming / Edition 1, Author: Peter Barth
Title: Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / Edition 1, Author: Stephen Muggleton
Title: A Baker's Dozen: Real Analog Solutions for Digital Designers, Author: Bonnie Baker
Title: Advances in Temporal Logic / Edition 1, Author: Howard Barringer
Title: Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings, Author: David Page
Title: Principles of Verilog Digital Design, Author: Wen-Long Chin
Title: Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings / Edition 1, Author: Laurent Fribourg

Pagination Links