Erdem, Esra., Lee, Joohyung., Lierler, Yuliya.Pearce, David. (Eds.) () Correct ReasoningEssays on Logic-Based AI in Honour of Vladimir LifschitzMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Correct Reasoning [electronic resource] : Essays on Logic-Based AI in Honour of Vladimir Lifschitz /
edited by Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce.
|Names:||Erdem, Esra. | Lee, Joohyung. | Lierler, Yuliya. | Pearce, David.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.|
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.|