Del 11110
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
552 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
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Häftad
1 064 kr
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Jacques Fleuriot
Inbunden
1 064 kr
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge
Häftad
552 kr
Integrating Symbolic Mathematical Computation and Artificial Intelligence
Jacques Calmet, John A. Campbell
Häftad
552 kr
Del 8884
Artificial Intelligence and Symbolic Computation
Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos
Häftad
530 kr
Design and Implementation of Symbolic Computation Systems
Jacques Calmet, Carla Limongelli
Häftad
552 kr
Intelligent Computer Mathematics
Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan Sexton
Häftad
536 kr