Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract).

Eike Ritter David J. Pym Lincoln A. Wallen

Published in: CADE (1996)

Keyphrases

extended abstract
linear logic
theorem prover
automatic theorem proving
genetic algorithm
databases
expert systems
low resolution
background knowledge
artificial intelligence
decision making
high resolution