User Reviews 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.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add

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

Please log in to add reviews or comments to the public catalog.
To communicate with library staff, use the Feedback link.

User Reviews for: Logic for Programming, Artificial Intell