Please click here for information on incomplete orders placed before 03 July 2024
![Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings - Martin Davis](https://www.booktopia.com.au/covers/big/9783662488997/1609/logic-for-programming-artificial-intelligence-and-reasoning.jpg)
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
By: Martin Davis (Editor), Ansgar Fehnker (Editor), Annabelle McIver (Editor), Andrei Voronkov (Editor)
eBook | 3 December 2015
Sorry, we are not able to source the ebook you are looking for right now.
We did a search for other ebooks with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your ebook.
ISBN: 9783662488997
ISBN-10: 366248899X
Series: Lecture Notes in Computer Science : Book 9450
Published: 3rd December 2015
Format: ePUB
Language: English
Publisher: Springer Berlin Heidelberg
Volume Number: 9450
You Can Find This eBook In
This product is categorised by
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware Engineering
- Non-FictionComputing & I.T.Computer ScienceArtificial Intelligence
- Non-FictionMathematicsMathematical FoundationMathematical Logic
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentProgramming & Scripting Languages
- Non-FictionComputing & I.T.Computer Programming & Software DevelopmentCompilers & Interpreters
- Non-FictionComputing & I.T.Computer ScienceMathematical Theory of Computation