Titel |
Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers |
|---|---|
Beteiligt |
Francisco Botana (Herausgeber) |
Erschienen |
Cham: Springer International Publishing |
Ausgabe |
Aufl. 2015 |
Umfang |
IX, 187 S. in 1 Teil |
ISBN |
978-3-319-21361-3 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
|
DDC-Notation |
|
Reihe |
Lecture Notes in Artificial Intelligence |
Andere Ausgaben |
Erscheint auch als Online-Ausgabe: Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers |
Datensatz-ID |
1072004232 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: