Semantically Guided Theorem Proving for Diagnosis Applications
M. E. Pollack (Hrsg). 15th International Joint Conference on Artificial Intelligence (IJCAI 97). Morgan Kaufmann 1997 S. 460-465
Erscheinungsjahr: 1997
Publikationstyp: Diverses
Autoren
Baumgartner, P. (Autor)
Fröhlich, P. (Autor)
Nejdl, W. (Autor)
M. E., Pollack (Herausgeber)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft