Login / Signup
On Herbrand's Theorem.
Samuel R. Buss
Published in:
LCC (1994)
Keyphrases
</>
logic programs
logic programming
first order logic
horn clauses
databases
intuitionistic logic
function symbols
computer vision
learning algorithm
object oriented
general purpose
video sequences
database systems
background knowledge
information systems
deductive databases
von neumann
information retrieval