Başlık:
Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Yazar:
Ida, Tetsuo. editor.
ISBN:
9783642406720
Fiziksel Tanımlama:
X, 193 p. 55 illus. online resource.
Seri:
Lecture Notes in Computer Science, 7993
Konu Terimleri:
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
http://dx.doi.org/10.1007/978-3-642-40672-0Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
---|---|---|---|---|---|
Arıyor... | E-Kitap | 334987-1001 | ONLINE(334987.1) | Arıyor... | Arıyor... |