Home
Antiques & Collectibles
General
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings : 2385 by Jacques Calmet - Paperback

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings : 2385 by Jacques Calmet - Paperback

AED0.00

(0) Write a Review

SKU:: 9783540438656
UPC:: 9783540438656

Current Stock:

Product Description

ISBN: 9783540438656
TITLE: Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings : 2385
AUTHOR: Jacques Calmet
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 19 Jun 2002

Other Details

ISBN:

9783540438656

Author:

Jacques Calmet

Publisher:

Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Publisher Date:

Published:19 Jun 2002

Book Format:

Paperback

Categories

Quick Links

Selected Currency: AED

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings : 2385 by Jacques Calmet - Paperback

Product Description

Other Details

Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings : 1476 by Jacques Calmet - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings : 2381 by Uwe Egly - Paperback

Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings : 4120 by Jaques Calmet - Paperback

AI 2002: Advances in Artificial Intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings : 2557 by Bob McKay - Paperback

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings : 2514 by Matthias Baaz - Paperback

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings : 2385 by Jacques Calmet - Paperback

Write a Review

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings : 2385 by Jacques Calmet - Paperback

Add to Wishlist

Product Description

Other Details

Related Products

Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings : 1476 by Jacques Calmet - Paperback

Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings : 2381 by Uwe Egly - Paperback

Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings : 4120 by Jaques Calmet - Paperback

AI 2002: Advances in Artificial Intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings : 2557 by Bob McKay - Paperback

Logic for Programming, Artificial Intelligence, and Reasoning : 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings : 2514 by Matthias Baaz - Paperback