DUT Capture Using Simultaneous Logic Acquisition.

A. T. Sivaram William Fritzsche Toshitaka Koshi Nam Lai

Published in: ITC (2002)

Keyphrases

classical logic
proof theory
data mining
website
decision trees
database systems
data structure
logic programming
data acquisition
predicate logic