Edmund M Clarke
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science Edmund M Clarke

Name: Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science
Price: 54.49 USD
Availability: OutOfStock
Author: Edmund M Clarke

Price

$ 54.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers - Lecture Notes in Computer Science

Edmund M Clarke

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook place in Dakar, Senegal, in April/May 2010.

527 pages, 67 black & white illustrations, 4 colour illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	January 4, 2011
ISBN13	9783642175107
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	517
Dimensions	155 × 236 × 28 mm · 791 g
Language	German
Editor	Clarke, Edmund M., Jr.
Editor	Voronkov, Andrei