Many-sorted logic in a learning theorem prover
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1997 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-540-63493-5 urn:nbn:de:swb:90-AAA443989 KITopen-ID: 44398 |
| Erschienen in | KI-97. Advances in artificial intelligence. Ed.: G. Brewka |
| Verlag | Springer-Verlag |
| Serie | Lecture notes in computer science ; 1303 |