Automated Deduction in Geometry - Info and Reading Options
6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006. Revised Papers
By Francisco Botana
"Automated Deduction in Geometry" was published by Springer-Verlag Berlin Heidelberg in 2007 - Berlin, Heidelberg, it has 211 pages and the language of the book is English.
“Automated Deduction in Geometry” Metadata:
- Title: ➤ Automated Deduction in Geometry
- Author: Francisco Botana
- Language: English
- Number of Pages: 211
- Publisher: ➤ Springer-Verlag Berlin Heidelberg
- Publish Date: 2007
- Publish Location: Berlin, Heidelberg
“Automated Deduction in Geometry” Subjects and Themes:
- Subjects: ➤ Computational complexity - Computer graphics - Discrete groups - Computer science - Optical pattern recognition - Artificial intelligence - Geometry, data processing - Automatic theorem proving - Logic, symbolic and mathematical - Geometry - Congresses - Data processing - Symbolic and mathematical Logic
Edition Specifications:
- Format: [electronic resource] :
Edition Identifiers:
- The Open Library ID: OL25541081M - OL16930666W
- Online Computer Library Center (OCLC) ID: 185038876
- Library of Congress Control Number (LCCN): 2007941260
- ISBN-13: 9783540773559 - 9783540773566
- All ISBNs: 9783540773559 - 9783540773566
AI-generated Review of “Automated Deduction in Geometry”:
Read “Automated Deduction in Geometry”:
Read “Automated Deduction in Geometry” by choosing from the options below.
Search for “Automated Deduction in Geometry” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Automated Deduction in Geometry" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: full
- Check if available: The Open Library & The Internet Archive
Find “Automated Deduction in Geometry” in Libraries Near You:
Read or borrow “Automated Deduction in Geometry” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Automated Deduction in Geometry” at a library near you.
Buy “Automated Deduction in Geometry” online:
Shop for “Automated Deduction in Geometry” on popular online marketplaces.
- Ebay: New and used books.