Artificial intelligence and symbolic computation: international conference aisc 2000 madrid, spain, july 17-19, 2000, revised papers
Auteur :
Campbell, John A.
ISBN :
9783540420712
Date de publication :
25 avr. 2001
Dimensions :
23,4 x 15,6 x 1,4 cm
Poids :
381 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These post-proceedings of AISC 2000 address automated theorem proving; logical reasoning; mathematical modelling of multi-agent systems; expert systems and machine learning; computational mathematics; engineering, and industrial applications.