Diagnostic system for large scale logic cards and LSI'S.
Susumu GoshimaYuichi OkaTokinori KozawaTeruo MoriYoshimitsu TakeguchiYasuhiro OhnoPublished in: DAC (1981)
Keyphrases
- latent semantic indexing
- small scale
- classical logic
- logic programming
- real life
- computer aided
- real world
- multi valued
- fault diagnosis
- vector space
- proof theory
- database
- set theory
- automated reasoning
- modal logic
- model based diagnosis
- expressive power
- logic programs
- web scale
- low cost
- computational properties
- least squares
- digital circuits
- epistemic logic
- learning algorithm