A Logic Analyzer Tool That Cuts E-Beam Prober Acquisition Times.

Christopher G. Talbot Suresh Rajan

Published in: ITC (1989)

Keyphrases

data acquisition
artificial intelligence
modal logic
proof theory
software tools
medical images
high speed
low cost
orders of magnitude
monitoring system
expert systems
temporal logic
data analysis
multi agent systems
multi valued
predicate logic
deontic logic
learning algorithm