An edition of Automated deduction in geometry (2006)

Automated Deduction in Geometry

5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science)

1 edition
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read


Download Options

Buy this book

Last edited by ImportBot
October 4, 2021 | History
An edition of Automated deduction in geometry (2006)

Automated Deduction in Geometry

5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers (Lecture Notes in Computer Science)

1 edition
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
213

Buy this book

Previews available in: English

Book Details


Classifications

Library of Congress
QA448.D38 I577 2004, QA75.5-76.95

The Physical Object

Format
Paperback
Number of pages
213
Dimensions
9 x 6.1 x 0.6 inches
Weight
8 ounces

ID Numbers

Open Library
OL9492169M
Internet Archive
automateddeducti00hong
ISBN 10
354031332X
ISBN 13
9783540313328
LCCN
2005938552
OCLC/WorldCat
63514355
Goodreads
3288807

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 4, 2021 Edited by ImportBot import existing book
June 28, 2019 Edited by MARC Bot import existing book
July 28, 2014 Created by ImportBot import new book