A note on a consistency proof.

Published in: Notre Dame J. Formal Log. (1974)

Keyphrases

set intersection
data sets
theorem proving
theorem prover
linear logic
neural network
real time
artificial intelligence
decision making
knowledge base
face recognition
expert systems
global constraints
proof planning