Artificial intelligence and symbolic computation: international conference aisc'98, plattsburgh, new york, usa, september 16-18, 1998 proceedings
Auteur :
Calmet, Jacques C.
ISBN :
9783540649601
Date de publication :
2 sept. 1998
Dimensions :
23,4 x 15,6 x 1,7 cm
Poids :
462 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers in this volume address aspects of symbolic computation and formal reasoning such as: inductive logic programming; context reasoning; computer algebra; proof theory and theorem proving; algebraic manipulation; formal verification; constraint solving; and knowledge discovery.