Leviton

Automated Deduction in Geometry : 4th International Workshop, Adg 2002, Hagen...

Description: Automated Deduction in Geometry : 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002 : Revised Papers, Paperback by International Workshop on Automated Deduction in Geometry 2002 Linz; Winkler, Franz, ISBN 3540209271, ISBN-13 9783540209270, Like New Used, Free shipping in the US This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Automated Deduction in Geometry, ADG 2002, held at Hagenberg Castle, Austria in September 2002. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement. Among the issues addressed are theoretical and methodological topics, such as the resolution of singularities, algebraic geometry and computer algebra; various geometric theorem proving systems are explored; and applications of automated deduction in geometry are demonstrated in fields like computer-aided design and robotics.

Price: 66.64 USD

Location: Jessup, Maryland

End Time: 2024-09-17T03:06:07.000Z

Shipping Cost: 0 USD

Product Images

Automated Deduction in Geometry : 4th International Workshop, Adg 2002, Hagen...

Item Specifics

Restocking Fee: No

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 14 Days

Refund will be given as: Money Back

Book Title: Automated Deduction in Geometry : 4th International Workshop, Adg

Number of Pages: VII, 229 Pages

Publication Name: Automated Deduction in Geometry : 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

Language: English

Publisher: Springer Berlin / Heidelberg

Publication Year: 2004

Subject: Geometry / General, Intelligence (Ai) & Semantics, Computer Science, Logic

Item Weight: 27.9 Oz

Type: Textbook

Author: Franz Winkler

Subject Area: Mathematics, Computers

Item Length: 9.2 in

Series: Lecture Notes in Computer Science Ser.

Item Width: 6.1 in

Format: Trade Paperback

Recommended

Automated Deduction - A Basis For Applications Volume I Foundations - Calcu...
Automated Deduction - A Basis For Applications Volume I Foundations - Calcu...

$159.35

View Details
Automated Deduction -- CADE-24 - 9783642385735
Automated Deduction -- CADE-24 - 9783642385735

$49.82

View Details
Automated Deduction CADE-12: 12th International Conference on Automated Deductio
Automated Deduction CADE-12: 12th International Conference on Automated Deductio

$68.46

View Details
Automated Deduction in Geometry: International Workshop on Automated Deduction i
Automated Deduction in Geometry: International Workshop on Automated Deduction i

$66.98

View Details
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an

$190.79

View Details
Automated Deduction – CADE-20: 20th - Paperback, by Nieuwenhuis Robert - Good
Automated Deduction – CADE-20: 20th - Paperback, by Nieuwenhuis Robert - Good

$49.77

View Details
Bjrner - Automated Deduction -- CADE-23   23rd International Confere - S9000z
Bjrner - Automated Deduction -- CADE-23 23rd International Confere - S9000z

$76.78

View Details
Botana - Automated Deduction in Geometry   6th International Workshop - S9000z
Botana - Automated Deduction in Geometry 6th International Workshop - S9000z

$68.72

View Details
Automated Deduction - Cade-25: 25th International Conference on Automated
Automated Deduction - Cade-25: 25th International Conference on Automated

$97.07

View Details
McRobbie - Automated Deduction - Cade-13   13th International Confere - S9000z
McRobbie - Automated Deduction - Cade-13 13th International Confere - S9000z

$147.01

View Details