Generation of Primate Implicates and Assumption-based Deduction using Disjunctive Clauses; Application to the Diagnostic of Digital Circuits
Type of publication: | Mastersthesis |
Citation: | |
Year: | 1995 |
School: | Computer Science Department, University of Fribourg |
Keywords: | |
Authors | |
Added by: | [UNK] |
Total mark: | 0 |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|