Automated deduction in geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Zapisane w:
Opis bibliograficzny
1. autor: Hong, Hoon (Autor)
Korporacja: SpringerLink (Online service)
Kolejni autorzy: Wang, Dongming
Format: E-book
Język:English
Wydane: Berlin Heidelberg Springer 2006
Seria:Lecture Notes in Computer Science, 3763
Hasła przedmiotowe:
Dostęp online:Click here to view the full text content
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!