Wonder Club world wonders pyramid logo
×

Artificial Intelligence, Automated Reasoning, and Symbolic Computation Book

Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, 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 tog, Artificial Intelligence, Automated Reasoning, and Symbolic Computation has a rating of 3 stars
   2 Ratings
X
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, 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 tog, Artificial Intelligence, Automated Reasoning, and Symbolic Computation
3 out of 5 stars based on 2 reviews
5
0 %
4
0 %
3
100 %
2
0 %
1
0 %
Digital Copy
PDF format
1 available   for $99.99
Original Magazine
Physical Format

Sold Out

  • Artificial Intelligence, Automated Reasoning, and Symbolic Computation
  • Written by author Jacques Calmet
  • Published by Springer-Verlag New York, LLC, January 2008
  • 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 tog
  • 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 toge
Buy Digital  USD$99.99

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

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. Among the topics covered are automated theorem proving, logical reasoning, mathematical modeling, algebraic computations, computational mathematics, and applications in engineering and industrial practice.


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

Artificial Intelligence, Automated Reasoning, and Symbolic Computation, 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 tog, Artificial Intelligence, Automated Reasoning, and Symbolic Computation

X
WonderClub Home

This item is in your Collection

Artificial Intelligence, Automated Reasoning, and Symbolic Computation, 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 tog, Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

X
WonderClub Home

This Item is in Your Inventory

Artificial Intelligence, Automated Reasoning, and Symbolic Computation, 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 tog, Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: