Jacques Calmet – författare
Visar alla böcker från författaren Jacques Calmet. Handla med fri frakt och snabb leverans.
13 produkter
Artificial Intelligence and Symbolic Computation
12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
Av Gonzalo A. Aranda-Corral, Jacques Calmet m. fl.
Häftad, 2014
546 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 …
Artificial Intelligence and Symbolic Computation
12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
Av Francisco J. Martin-Mateos, Jacques Calmet m. fl.
E-bok, 2014
672 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 …
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Av Jacques Fleuriot, Dongming Wang m. fl.
Häftad, 2018
568 kr
Lägg i varukorg
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. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected …
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Av Jacques Calmet, Dongming Wang m. fl.
E-bok, 2018
755 kr
Lägg i varukorg
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. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected …
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
Av Jacques Calmet, Belaid Benhamou m. fl.
Häftad, 2002
568 kr
Lägg i varukorg
AISC 2002, the 6th international conference on Arti?cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1-5, 2002. This event was organized by the …
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
Av Volker Sorge, Laurent Henocque m. fl.
E-bok, 2003
734 kr
Lägg i varukorg
Artificial Intelligence and Symbolic Mathematical Computing
International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Av Jacques Calmet, John A. Campbell
Häftad, 1993
568 kr
Lägg i varukorg
This volume contains the papers, updated in some cases,presented at the first AISMC (Artificial Intelligence andSymbolic Mathematical Computations)conference, held inKarlsruhe, August 3-6, 1992. This was the first conferenceto be devoted to such a topic after a long period when SMCmade no …
Integrating Symbolic Mathematical Computation and Artificial Intelligence
Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
Av Jacques Calmet, John A. Campbell
Häftad, 1995
568 kr
Lägg i varukorg
This volume contains thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994.The 19 papers included give clear evidence that now, after a quite long …
Design and Implementation of Symbolic Computation Systems
International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings
Av Jacques Calmet, Carla Limongelli
Häftad, 1996
568 kr
Lägg i varukorg
This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.The volume includes four invited contributions surveying the state of the art in a particular …
Artificial Intelligence and Symbolic Computation
International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Häftad, 1998
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various …
Mathematical Methods in Computer Science
Essays in Memory of Thomas Beth
Av Jacques Calmet, Willi Geiselmann m. fl.
Häftad, 2008
568 kr
Lägg i varukorg
The conference Mathematical Methods in Computer Science (MMICS) was held in the memory of Thomas Beth during December 17-19 in Karlsruhe. The c- ference was meant to re?ect the many interests of Thomas Beth. Even though these interests might seem diverse the mathematical methods employed and - …
Mathematical Methods in Computer Science
Essays in Memory of Thomas Beth
Av Jorn Muller-Quade, Willi Geiselmann m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
Intelligent Computer Mathematics
10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Av Serge Autexier, Jacques Calmet m. fl.
Häftad, 2010
552 kr
Lägg i varukorg
Thisvolumecontainsthecollectedcontributionsofthreeconferences,AISC2010, Calculemus 2010 and MKM 2010. AISC 2010 was the 10th International C- ference on Arti?cial Intelligence and symbolic computation. Its area of concern is the use of AI techniques within symbolic computation as well as the appli- …
