Cover Image

Automated deduction in geometry : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers /

Bibliographic Details
Corporate Author: International Workshop on Automated Deduction in Geometry Munich, Germany
Other Authors: Narboux, Julien, Richter-Gebert, Jürgen, 1963-, Schreck, Pascal
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2011]
Series:LNCS sublibrary. Artificial intelligence.
Lecture notes in computer science.
Lecture notes in computer science. Lecture notes in artificial intelligence ; 6877.
Subjects:
Automatic theorem proving > Congresses.
Geometry > Data processing > Congresses.
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computational complexity
Computer graphics
Computer science
Discrete Mathematics in Computer Science
Mathematical Logic and Formal Languages
Software engineering
Symbolic and Algebraic Manipulation
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and author index.
ISBN:364225070X (electronic bk.)
9783642250705 (electronic bk.)
ISSN:0302-9743
DOI:10.1007/978-3-642-25070-5