ECU Libraries Catalog

Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers / Franz Winkler (ed.).

Author/creator International Workshop on Automated Deduction in Geometry 2002 : Linz, Austria)
Other author/creatorWinkler, Franz, 1955-
Format Electronic and Book
Publication InfoBerlin ; New York : Springer,
Descriptionvi, 229 p. : ill. ; 24 cm.
Supplemental Content Full text available from eBooks on EBSCOhost
Supplemental Content Full text available from Springer Books
Supplemental Content Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subject(s)
Portion of title ADG 2002
Series Lecture notes in computer science, 0302-9743 ; 2930. Lecture notes in artificial intelligence
Lecture notes in computer science ; 2930.
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2004041414
ISBN3540209271 (acid-free paper)