Location & Availability for: Correct Reasoning : Essays on Logic-Base

 Staff view

You must be logged in to Tag Records

Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz /

edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce.

Book Cover
Names: Erdem, Esra. | Lee, Joohyung. | Lierler, Yuliya. | Pearce, David.
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Series: Lecture Notes in Computer Science, 7265
Topics: Computer science. | Software engineering. | Logic design. | Artificial intelligence. | Computer Science. | Mathematical Logic and Formal Languages. | Artificial Intelligence (incl. Robotics). | Logics and Meanings of Programs. | Software Engineering. | Programming Techniques. | Programming Languages, Compilers, Interpreters.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Correct Reasoning : Essays on Logic-Base