Generation of Primate Implicates and Assumption-based Deduction using Disjunctive Clauses; Application to the Diagnostic of Digital Circuits
| Tipo de publicação: | Dissertação de mestrado |
| Citação: | |
| Ano: | 1995 |
| School: | Computer Science Department, University of Fribourg |
| Palavras-chave: | |
| Autores | |
| Adicionado por: | [UNK] |
| Total mark: | 0 |
|
Anexos
|
|
|
|
|
Notas
|
|
|
|
|
|
Tópicos
|
|
|
|
|
