Interfacing a Logic Machine.

Wolfgang Schönfeld

Published in: CSL (1987)

Keyphrases

modal logic
automated reasoning
logic programming
multi valued
classical logic
data acquisition
computational properties
data sets
databases
neural network
case study
delay insensitive