Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Lecture Notes in Computer Science 7180 (Paperback)Nikolaj Bjorner (editor), Andrei Voronkov (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 446
Weight: 647 g
Dimensions: 235 x 155 x 23 mm
You may also be interested in...
Please sign in to write a review