Cover Image

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

Show other versions (2)
Bibliographic Details
Corporate Authors: International Workshop on Automated Deduction in Geometry Linz, Austria, NetLibrary, Inc
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.
Electronic books.
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 2002eb
 
Call Number Status Get It
QA448.D38 I577 2002eb Available