KI-96
Subtitle: advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings
By: Günther Görz, Steffen Hölldobler, (eds.).
Contributors: Görz, Günther.; Hölldobler, Steffen, 1957-
Series: Lecture notes in computer science ;; 1137.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 1137.; Lecture notes in computer science.
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 386
Subjects: Artificial intelligence -- Congresses; Automatic theorem proving -- Congresses; Knowledge representation (Information theory) -- Congresses; Reasoning -- Congresses
Notes: Includes bibliographical references and index.