Automatic Generation of Concurrent Provers.

Raul H. C. Lopes

Published in: ARW (2000)

Keyphrases

automatically generate
theorem prover
theorem proving
automatically generating
mutual exclusion
hierarchical reinforcement learning
database
computer vision
information retrieval
feature selection
reinforcement learning
digital libraries
lower bound
information technology
concurrent execution