A Proof of Ehrenfeucht's Conjecture.

Michael H. Albert John Lawrence

Published in: Theor. Comput. Sci. (1985)

Keyphrases

linear logic
automated theorem proving
data sets
special case
theorem proving
information retrieval
artificial intelligence
information systems
knowledge base
high level
information technology
multiresolution
theorem prover