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

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

Description
Item Description:	Electronic resource.
Physical Description:	vi, 229 pages : illustrations ; 24 cm. Also issued online.
Bibliography:	Includes bibliographical references and index.
ISBN:	3540246169 (electronic bk.)
ISSN:	0302-9743 ;