Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (1st ed. 2015) (Lecture Notes in Computer Science #9201)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into UK education collection to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
- Copyright:
- 2015
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783319213620
- Related ISBNs:
- 9783319213613
- Publisher:
- Springer International Publishing
- Date of Addition:
- 09/10/19
- Copyrighted By:
- Springer International Publishing, Cham
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Art and Architecture, Computers and Internet, Mathematics and Statistics, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Francisco Botana
- Edited by:
- Pedro Quaresma
Reviews
Other Books
- by Francisco Botana
- by Pedro Quaresma
- in Nonfiction
- in Art and Architecture
- in Computers and Internet
- in Mathematics and Statistics
- in Philosophy