Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers (Lecture Notes in Artificial Intelligence)
ISBN 10: 331921361X ISBN 13: 9783319213613
Editore: Springer, 2015
Nuovi
Brossura
Da
Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 22 luglio 2022
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
Codice articolo ABLIING23Mar3113020090942
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