Automated deduction in geometry : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers /
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Ekitap |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2013.
|
| Seri Bilgileri: | Lecture Notes in Computer Science,
7993 |
| Konular: | |
| Online Erişim: | Click here to view the full text content |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
| Fiziksel Özellikler: | 1 online resource (X, 193 pages) 55 illustrations. digital |
|---|---|
| ISBN: | 9783642406720 |
| ISSN: | 0302-9743 |