Location & Availability for: Logic for Programming, Artificial Intell

 Staff view

You must be logged in to Tag Records

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /

edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.

Book Cover
Names: McMillan, Ken, | Middeldorp, Aart, | Voronkov, Andrei,
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2013.
Series: Lecture notes in computer science ; 8312.
Topics: Artificial intelligence. | Computer logic. | Computer programming. | Computer science. | Logic, Symbolic and mathematical. | Programming languages (Electronic computers) | Software engineering. | Computer Science. | Software Engineering. | Artificial Intelligence (incl. Robotics). | Logics and Meanings of Programs. | Mathematical Logic and Formal Languages. | Programming Techniques. | Programming Languages, Compilers, Interpreters.
Genres: Electronic books. | Ebook.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Logic for Programming, Artificial Intell