Interval Computation as Deduction in CHIP.

Jimmy Ho-Man Lee Maarten H. van Emden

Published in: J. Log. Program. (1993)

Keyphrases

high speed
low cost
data sets
inference rules
theorem prover
theorem proving
high density
efficient computation
analog vlsi
single chip