We found 9 results
indigoBooksjacques calmet

Your Store:

Sort By:

Sorted By: Top Matches
Filtered By:
Books
1 - 9 of 9 Results
Top Matches
Artificial Intelligence And Symbolic Computation: 13th International Conference, Aisc 2018, Suzhou…

In stock online

Not available in stores

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…
Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville…

In stock online

Not available in stores

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…
Intelligent Computer Mathematics: 10th International Conference, AISC 2010, 17th Symposium…

In stock online

Not available in stores

used by mathema- cians, computer scientists and engineers in their every-day work.
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth

In stock online

Not available in stores

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…
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International…

In stock online

Not available in stores

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…
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh…

In stock online

Not available in stores

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…
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96…

In stock online

Not available in stores

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…
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International…

In stock online

Not available in stores

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…
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1…

In stock online

Not available in stores

This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992. This was the first conference to be devoted to such a topic after…