Semantically Guided Theorem Proving for Diagnosis Applications (1997)

by Peter Baumgartner , Peter Fröhlich , Ulrich Furbach , Wolfgang Nejdl
Citations:22 - 6 self