Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Computer Science)
ISBN 10: 331921361X ISBN 13: 9783319213613
Editore: Springer, 2015
Nuovi
Brossura
Da
Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Venditore AbeBooks dal 10 settembre 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
PRINT ON DEMAND pp. 184. Codice articolo 18372549348
Riassunto:
This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
Dalla quarta di copertina: This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Automated Deduction in Geometry, ADG 2014, held in Coimbra, Portugal, in July 2014. The 11 revised full papers presented in this volume were carefully selected from 20 submissions. The papers show the trend set of current research in automated reasoning in geometry.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Automated Deduction in Geometry: 10th ...
Casa editrice: Springer
Data di pubblicazione: 2015
Legatura: Brossura
Condizione: New