Semantically Guided Theorem Proving for Diagnosis Applications
Martha E. Pollack (Hrsg). Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence IJCAI 1997: Nagoya, Japan; August 23-29, 1997; Volume 1. San Francisco, CA: Morgan Kaufmann Publishers 1997 S. 460 - 465
Erscheinungsjahr: 1997
ISBN/ISSN: 1-55860-480-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Fröhlich, Peter (Autor)
Furbach, Ulrich (Autor)
Nejdl, Wolfgang (Autor)
