Title: Formal Logical Methods for System Security and Correctness, Author: Orna Grumberg
Title: Handbook of Practical Logic and Automated Reasoning, Author: John Harrison
Title: Fuzzy Logic Theory And Applications: Part I And Part Ii, Author: Lotfi A Zadeh
Title: Advances in Inductive Logic Programming / Edition 1, Author: L. De Raedt
Title: Introduction to Logic Design / Edition 2, Author: Sajjan G. Shiva
Title: Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II / Edition 1, Author: Antonis C. Kakas
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: Contemporary Quality Function Deployment For Product And Process Innovation: Towards Digital Transformation Of Customer And Product Information In A New Knowledge-based Approach, Author: Thomas Lager
Title: Arithmetic and Logic in Computer Systems / Edition 1, Author: Mi Lu
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Computation Engineering: Applied Automata Theory and Logic / Edition 1, Author: Ganesh Gopalakrishnan
Title: Self-Checking and Fault-Tolerant Digital Design / Edition 1, Author: Parag K. Lala
Title: Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / Edition 1, Author: Iliano Cervesato
Title: Synthesis Techniques and Optimizations for Reconfigurable Systems / Edition 1, Author: Ryan Kastner
Title: Cooperating Heterogeneous Systems / Edition 1, Author: David G. Schwartz
Title: Separation Logic for High-level Synthesis, Author: Felix Winterstein
Title: Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings / Edition 1, Author: David Basin
Title: Conclog: A Methodological Approach to Concurrent Logic Programming / Edition 1, Author: Jean-Marie Jacquet
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
Title: Logics for Emerging Applications of Databases / Edition 1, Author: Jan Chomicki

Pagination Links