Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Häftad
556 kr
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
AvJacques Fleuriot,Dongming Wang
Häftad, Engelska, 2018
Del 11110 i serien Lecture Notes in Computer Science
556 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 11110
Integrating Symbolic Mathematical Computation and Artificial Intelligence
Jacques Calmet, John A. Campbell
Häftad
553 kr
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Häftad
1 066 kr
Del 8884
Artificial Intelligence and Symbolic Computation
Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos
Häftad
534 kr
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Inbunden
1 072 kr
Design and Implementation of Symbolic Computation Systems
Jacques Calmet, Carla Limongelli
Häftad
553 kr
Intelligent Computer Mathematics
Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton
Häftad
539 kr