Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Häftad
1 389 kr
Del 11110 i serien Lecture Notes in Computer Science
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Häftad, Engelska, 2018
719 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018.
Produktinformation
- Utgivningsdatum2018-08-22
- Mått155 x 235 x 16 mm
- Vikt429 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor269
- FörlagSpringer International Publishing AG
- ISBN9783319999562
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 11110
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Inbunden
1 389 kr
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Häftad
719 kr
Integrating Symbolic Mathematical Computation and Artificial Intelligence
Jacques Calmet, John A. Campbell
Häftad
719 kr
Del 8884
Artificial Intelligence and Symbolic Computation
Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos
Häftad
689 kr
Artificial Intelligence and Symbolic Mathematical Computing
Jacques Calmet, John A. Campbell
Häftad
719 kr
Intelligent Computer Mathematics
Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton
Häftad
699 kr