Title: Logically Determined Design: Clockless System Design with NULL Convention Logic / Edition 1, Author: Karl M. Fant
Title: Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings / Edition 1, Author: Rui Camacho
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: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
Title: Field Programmable Logic and Applications: 7th International Workshop, FPL '97, London, UK, September, 1-3, 1997, Proceedings. / Edition 1, Author: Wayne Luk
Title: Advances in Inductive Logic Programming / Edition 1, Author: L. De Raedt
Title: Logic Program Synthesis and Transformation: 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings / Edition 1, Author: John Gallagher
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Digital Logic for Computing, Author: John Seiffertt
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: Autonomous, Model-Based Diagnosis Agents / Edition 1, Author: Michael Schroeder
Title: Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / Edition 1, Author: Germán Puebla
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: Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers / Edition 1, Author: Stephen Muggleton
Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings / Edition 1, Author: Miki Hermann
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: Circuit Synthesis with VHDL / Edition 1, Author: Roland Airiau
Title: Godel's Incompleteness Theorems / Edition 1, Author: Raymond M. Smullyan

Pagination Links