Ki-96: advances in artificial intelligence: 20th annual german conference on artificial intelligence dresden, germany, september 17 - 19, 1996, proceedings
Auteur :
Gorz, Gunther
ISBN :
9783540617082
Date de publication :
4 sept. 1996
Dimensions :
23,4 x 15,6 x 2,1 cm
Poids :
570 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text constitutes the proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96. The papers address sub-areas of artificial intelligence, with a particular focus on developments in theorem proving, knowledge presentation and reasoning.