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)
eText | 1 December 2015
At a Glance
eText
$84.99
or
Instant online reading in your Booktopia eTextbook Library *
Why choose an eTextbook?
Instant Access *
Purchase and read your book immediately
Read Aloud
Listen and follow along as Bookshelf reads to you
Study Tools
Built-in study tools like highlights and more
* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
ISBN: 9783662488997
ISBN-10: 366248899X
Series: Springer Nature Proceedings Computer Science
Published: 1st 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