Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Name: Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
ISBN: 9783642452208

by McMillan, Ken, Middeldorp, Aart, Voronkov, Andrei

Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

by McMillan, Ken, Middeldorp, Aart, Voronkov, Andrei

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$143.00~~

Discount

64% Off

You Save

$91.69

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783642452208
ISBN: 3642452205
Publication Date: 2013
Publisher: Springer

AUTHOR

McMillan, Ken, Middeldorp, Aart, Voronkov, Andrei

SUMMARY

McMillan, Ken is the author of 'Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings', published 2013 under ISBN 9783642452208 and ISBN 3642452205.

[read more]