A Proof of the Vose-Liepins Conjecture.

Gary J. Koehler

Published in: Ann. Math. Artif. Intell. (1993)

Keyphrases

proof planning
theorem proving
theorem prover
artificial intelligence
information systems
linear logic
optimal solution
mathematical proofs
proof search
multiresolution
evolutionary algorithm
real time
bayesian networks
multimedia
decision making
computer vision
neural network