Automated Deduction in Geometry
| Beste egile batzuk: | |
|---|---|
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | English |
| Argitaratua: |
Springer Berlin Heidelberg,
2013
|
| Edizioa: | 1 |
| Gaiak: | |
| Sarrera elektronikoa: | Full text available on Springer Off-campus access |