A new version of Toom's proof.

Published in: CoRR (2021)

Keyphrases

artificial intelligence
theorem prover
proof planning
database
computer vision
information systems
knowledge base
multimedia
case study
theorem proving
original version