Automated Deduction in Geometry / Lecture Notes in Computer Science Bd.9201 (PDF)
10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
(Sprache: Englisch)
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...
sofort als Download lieferbar
Printausgabe 42.80 €
eBook (pdf)
42.79 €
21 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Automated Deduction in Geometry / Lecture Notes in Computer Science Bd.9201 (PDF)“
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.
Bibliographische Angaben
- 2015, 1st ed. 2015, 181 Seiten, Englisch
- Herausgegeben: Francisco Botana, Pedro Quaresma
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319213628
- ISBN-13: 9783319213620
- Erscheinungsdatum: 17.07.2015
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 10 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Automated Deduction in Geometry / Lecture Notes in Computer Science Bd.9201"
0 Gebrauchte Artikel zu „Automated Deduction in Geometry / Lecture Notes in Computer Science Bd.9201“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Automated Deduction in Geometry / Lecture Notes in Computer Science Bd.9201".
Kommentar verfassen