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