Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /

Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /

Show other versions (2)

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 paper...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Botana, Francisco (Editor, http://id.loc.gov/vocabulary/relators/edt), Quaresma, Pedro (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2015
Edition:1st ed. 2015
Series:Computer Science (Springer-11645)
Computer Science (SpringerNature-11645)
Lecture notes in computer science Lecture notes in artificial intelligence ; 9201.
Lecture notes in computer science Lecture notes in artificial intelligence 9201
Subjects:
Artificial intelligence
Computer graphics
Computer science > Mathematics
Computer science-Mathematics
Discrete mathematics
Logic, Symbolic and mathematical
Machine theory
Software engineering
Artificial Intelligence
Computer Graphics
Discrete Mathematics in Computer Science
Formal Languages and Automata Theory
Mathematical Logic and Formal Languages
Software Engineering
Symbolic and Algebraic Manipulation

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items