search for books and compare prices
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, Lpar-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
With Nikolaj Bjørner (other contributor) |
from Springer-Verlag New York Inc (March 21, 2012)
9783642287169 | details & prices | 457 pages | List price $99.00