Title: Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques / Edition 1, Author: Wolfgang Kunz
Title: Logic Programming and Nonmonotonic Reasoning: Fourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings / Edition 1, Author: Ulrich Furbach
Title: Field-Programmable Gate Array Technology / Edition 1, Author: Stephen M. Trimberger
Title: Reversible Computation: 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings, Author: Jarkko Kari
Title: A Tight, Practical Integration of Relations and Functions / Edition 1, Author: Harold Boley
Title: Logic Based Program Synthesis and Transformation: 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers / Edition 1, Author: Maurice Bruynooghe
Title: Principles of Modern Digital Design / Edition 1, Author: Parag K. Lala
Title: Logic-Based 0-1 Constraint Programming / Edition 1, Author: Peter Barth
Title: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, Author: Dov M. Gabbay
Title: Quantum Theoretic Machines: What is thought from the point of view of Physics?, Author: A. Stern
Title: Numbers and Computers / Edition 2, Author: Ronald T. Kneusel
Title: Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings / Edition 1, Author: Yukiyoshi Kameyama
Title: Extensions of Logic Programming: International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings / Edition 1, Author: Peter Schroeder-Heister
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: Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic ProgrammingVolume 5: Logic Programming, Author: Dov M. Gabbay
Title: Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings, Author: Simon Devitt
Title: Computational Logic in Multi-Agent Systems: 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers / Edition 1, Author: Fariba Sadri
Title: Logic Synthesis Using Synopsys� / Edition 2, Author: Pran Kurup
Title: Logic Synthesis for Control Automata / Edition 1, Author: Samary Baranov
Title: Parallel Execution of Logic Programs: ICLP '91 Pre-Conference Workshop, Paris, June 24, 1991 Proceedings / Edition 1, Author: Anthony Beaumont

Pagination Links