Login / Signup

Flexible Proof-Replay with Heuristics.

Marc Fuchs
Published in: EPIA (1997)
Keyphrases
  • lightweight
  • heuristic search
  • search algorithm
  • theorem prover
  • real time
  • real world
  • data mining
  • multi agent
  • highly efficient