A Refutation of Barzdins' Conjecture.

Stuart A. Kurtz Carl H. Smith

Published in: AII (1989)

Keyphrases

theorem proving
theorem prover
inductive inference
classical logic
artificial intelligence
search space
query language
fuzzy logic
general purpose
linear combination
orders of magnitude