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

Portion of title ADG 2002
SeriesLecture notes in computer science, 0302-9743 ; 2930. Lecture notes in artificial intelligence
Lecture notes in computer science ; 2930. ^A466336
Lecture notes in computer science. Lecture notes in artificial intelligence. ^A467263
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)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available