Tableaux for Diagnosis Applications
D. Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods. Springer 1997 S. 76-90
Erscheinungsjahr: 1997
Publikationstyp: Diverses
Autoren
Baumgartner, P. (Autor)
Fröhlich, P. (Autor)
Nejdl, W. (Autor)
D. Galmiche, D. Galmiche (Herausgeber)
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft