Automated deduction in geometry : 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /

Bibliographic Details
Corporate Authors:	International Workshop on Automated Deduction in Geometry Shanghai, China, SpringerLink (Online service)
Other Authors:	Sturm, Thomas, Zengler, Christoph
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2011.
Series:	LNCS sublibrary. Artificial intelligence. Lecture notes in computer science ; 6301. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving > Congresses. Geometry > Data processing > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online