Computing Diagnoses Efficiently: A Fast Theorem Prover For Propositinal Horn Clause Theories

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Filter
Finished

Search results