Tableaux for diagnosis applications
Didier Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings. Berlin: Springer 1997 S. 76 - 90
Erscheinungsjahr: 1997
ISBN/ISSN: 978-3-540-62920-7
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/BFb0027406
| Geprüft | Bibliothek |
Autoren
Baumgartner, Peter (Autor)
Fröhlich, Peter (Autor)
Nejdl, Wolfgang (Autor)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
