Artificial intelligence and symbolic mathematical computation: international conference aismc-3, steyr, austria, september, 23-25, 1996, proceedings
Auteur :
Calmet, Jacques C.
ISBN :
9783540617327
Date de publication :
11 sept. 1996
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
1220 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning.