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
|
|
