Automated Deduction in Geometry: 5Th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : Revised Papers (Lecture notes in computer science, Lecture notes in artificial intelligence 3763)

Författare
Hoon Hong
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2006 Utgivningsland okänt / Ej specificerat