| Shelfclass_id | 4.A |
| Sortkey | KI |
| Authors | G. Görz, Steffen Hölldobler |
| Title | KI 1996: Advances in Artificial Intelligence: 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996: proceedings |
| Publisher | Springer Pub. Co. |
| Year | 1996 |
| Languages | eng |
| Isbn | 3540617086 |
| Series | Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence |
| Volume | 1137 |
| Issn | 0302-9743 |
| Description | xi, 386 p. ill. 24 cm |
| Record date | 20060711 |
| Location | New York |
| Keywords | Artificial intelligence, Automatic theorem proving, Knowledge representation (Information theory), Reasoning |
| Notes | Gorz, Holldobler |