Results for Jacques Calmet

ISBN.nu

search for books and compare prices

Jacques Calmet has written 10 work(s)

Search for other authors with the same name

displaying 1 to 10 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Intelligent Computer Mathematics: 10th International Conference, Aisc 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, Mkm 2010 Paris, France, July 5-10, 2010 Pr

Product Description: 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- tion of symbolic computation to AI problem solving...read more

By Serge Autexier (editor), Jacques Calmet (editor), David Delahaye (editor), Patrick D. F. Ion (editor) and Laurence Rideau (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783642141270 | Springer-Verlag New York Inc, July 19, 2010, cover price $129.00 | About this edition: Thisvolumecontainsthecollectedcontributionsofthreeconferences,AISC2010, Calculemus 2010 and MKM 2010.

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

Product Description: This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, held December 2008, in Karlsruhe, Germany, in memory of Thomas Beth. The themes of the conference reflect his many interests.

By Jacques Calmet (editor), Willi Geiselmann (editor) and Jorn Muller-Quade (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540899938 | Springer-Verlag New York Inc, January 1, 2009, cover price $89.99 | About this edition: This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, held December 2008, in Karlsruhe, Germany, in memory of Thomas Beth.

Artificial Intelligence and Symbolic Computation: 8th International Conference, Aisc 2006, Beijing, China, September 20-22, 2006: Proceedings

Product Description: Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management...read more

By Jacques Calmet (editor), Tetsuo Ida (editor) and Dongming Wang (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540397281, titled "Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 Proceedings" | Springer-Verlag New York Inc, October 15, 2006, cover price $99.00 | About this edition: Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings

Product Description: This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002. The 24 revised full papers presented together with 2 system descriptions were carefully reviewed and selected from 52 submissions...read more

By Calculemus (other contributor), Jacques Calmet (editor) and International Conference AISC 2000 (other contributor)

See complete details on each edition (1 edition listed)

Paperback:

9783540438656 | Springer Verlag, July 1, 2002, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, AISC 2002, and Calculemus 2002 held in Marseille, France, in July 2002.

Artificial Intelligence and Symbolic Computation: International Conference, Aisc'98, Plattsburgh, New York, Usa, September 1998 : Proceedings

Product Description: 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...read more (view table of contents, read Amazon.com's description)

By Jacques Calmet (editor) and Jan Plaza (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540649601 | Springer Verlag, October 1, 1998, cover price $99.00 | About this edition: 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.

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, Aismc-3 Steyr, Austria, September 23-25, 1996 : Proceedings

Product Description: This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang...read more

By Jacques Calmet (editor), John A. Campbell (editor) and Jochen Pfalzgraf (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540617327 | Springer Verlag, June 1, 1996, cover price $109.00 | About this edition: This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.

Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, Aismc-2, Cambridge, United Kingdom, August 3-5, 1994 : Selected Papers

Product Description: 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 period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities...read more

By Jacques Calmet (editor) and John A. Campbell (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540601562 | Springer Verlag, August 1, 1995, cover price $99.00 | About this edition: 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.

Artificial Intelligence and Symbolic Mathematical Computing: International Conference Aismc-1 Karlsruhe, Germany, August 3-6, 1992 : Proceedings