Proof of a Conjecture of R. Kannan

Jean-Camille Birget

Published in: STOC (1989)

Keyphrases

theorem prover
theorem proving
linear logic
database
real time
databases
learning algorithm
search engine
multiscale
mobile robot
scheduling problem
natural deduction
proof planning