English Books > Mathematics > General > Automated Deduction In Geometry: Second International Workshop, Adg 98, Beijing, China, August 1998: Proceedings

Automated Deduction In Geometry: Second International Workshop, Adg 98, Beijing, China, August 1998: Proceedings
Author: Other Gao, Xiao-Shan
Series#:1669; Lecture Notes in Computer Science; Paperback
294 pages
Published: November 1999
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 3540666729
This item non-returnable. Order may not be canceled.

The refereed proceedings of the Second International Workshop on Automated Deduction in Geometry (ADG'98). Papers cover topics such as automated geometry theorem proving, automated geometry problem solving, plane Euclidean reasoning and Clifford algebraic methods for geometric reasoning.



SurfStoreUSA

Google
 
The NetStoreUSA website is operated by Open Communications, Inc
an Arizona corporation, which has successfully served
the Internet community since 1994.



Copyright © 2008 Open Communications, Inc
®Open Communications is a Registered Trade Mark.
This material may be freely distributed ONLY with full reference to Open Communications Inc,
including fax, phone, e-mail, and world-wide web details.
This material is an invitation to treat and not an offer.
We reserve the right to decline orders received from this site.
Prices subject to change to be advised on confirmation of order.
Not all titles listed are in print.
Home Page: http://www.NetStoreUSA.com/
Site Map