Ulrich Furbach (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

39 Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) 1997: 460-465

37 Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Tableaux for Diagnosis Applications. TABLEAUX 1997: 76-90

Selection of 2 from 91 records - Ulrich Furbach has 72 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

39		Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) 1997: 460-465
37		Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl: Tableaux for Diagnosis Applications. TABLEAUX 1997: 76-90