Gwai-92 advances in artificial intelligence: 16th german conference on artificial intelligence, bonn, germany, august 31 - september 3, 1992. proceedings
Auteur :
Ohlbach, Hans Jurgen
ISBN :
9783540566670
Date de publication :
28 mai 1993
Dimensions :
23,3 x 15,5 x 2,1 cm
Poids :
1310 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presents the proceedings of the 16th German Conference on Artificial Intelligence, held in Germany in 1992. Topics covered include a model elimination calculus, a sorted logic, human theorem proving, deduction based on Shannon graphs, and expert system applications.