Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers (Paperback, 2011 ed.) Loot Price: R1,884

Discovery Miles 18 840

Repayment Terms: R177 pm x 12*

Add to cart

Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers...

Automated Deduction in Geometry - 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Papers (Paperback, 2011 ed.)

Pascal Schreck, Julien Narboux, Jurgen Richter-Gebert

Series: Lecture Notes in Artificial Intelligence, 6877

(sign in to rate)

Loot Price R1,884 Discovery Miles 18 840 | Repayment Terms: R177 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010.
The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 6877
Release date:	November 2011
First published:	2011
Editors:	Pascal Schreck • Julien Narboux • Jurgen Richter-Gebert
Dimensions:	235 x 155 x 20mm (L x W x T)
Format:	Paperback
Pages:	259
Edition:	2011 ed.
ISBN-13:	978-3-642-25069-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Science & Mathematics > Mathematics > Geometry > General Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-642-25069-6
Barcode:	9783642250699