Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA-X 2009, Hamburg, Germany, September 9-10, 2009,...
An Invitation to Formal Reasoning: The Logic of Terms 280 pages | English | ISBN-10:...
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes...
Logical and Relational Learning (Cognitive Technologies) 402 pages | English | ISBN-10: 3540200401 | ISBN-13:...
Logics of Programs: Workshop, Yorktown Heights, NY, USA (Lecture Notes in Computer Science (131)) 437...
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics 456 pages | English |...
Lateral Logic Puzzles 96 pages | English | ISBN-10: 0806906189 | ISBN-13: 978-0806906188 https://www.amazon.com/dp/0806906189
Math Logic Puzzles 96 pages | English | ISBN-10: 0806938641 | ISBN-13: 978-0806938646 https://www.amazon.com/dp/0806938641
Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science (129)) 217 pages |...
Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science...
Logic in the Husserlian Context (Studies in Phenomenology and Existential Philosophy) 291 pages | English...
Logic Programming '88: Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 (Lecture Notes...
Introduction to Fuzzy Sets, Fuzzy Logic, and Fuzzy Control Systems 328 pages | English |...
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom,...
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in...
Logic of Programs: Workshop, ETH Zürich, May-July 1979 (Lecture Notes in Computer Science (125)) 252...
Logic-Based Artificial Intelligence (The Kluwer International Series in Engineering and Computer Science Volume 597) 632...
Memory-Based Logic Synthesis 201 pages | English | ISBN-10: 1441981039 | ISBN-13: 978-1441981035 https://www.amazon.com/dp/1441981039
COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings (Lecture Notes in...
Interactive Relational Database Design: A Logic Programming Implementation (Lecture Notes in Computer Science (402)) 208...