Cover Image

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers /

Show other versions (2)

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 improvem...

Full description

Bibliographic Details
Corporate Authors: International Workshop on Automated Deduction in Geometry Linz, Austria, SpringerLink (Online service)
Other Authors: Winkler, Franz, 1955-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2004]
Series:Lecture notes in computer science ; 2930.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Geometry > Data processing > Congresses.
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.
Géométrie > Informatique > Congrès.
Logique symbolique et mathématique > Congrès.
Théorèmes > Démonstration automatique > Congrès.
MATHEMATICS > Geometry > General.
Démonstration automatique de théorèmes.
Géométrie.
Système déductif.
Résolution de problème.
Automatisches Beweisverfahren.
Geometrie.
Geometrische Modellierung.
Kongress.
Electronic books.
Automatic theorem proving.
Geometry > Data processing.
Logic, Symbolic and mathematical.
Hagenberg (Mühlkreis, 2002)
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA448.D38 I577 2004
 
Call Number Status Get It
QA448.D38 I577 2004 Available