: A short proof.

Published in: Theor. Comput. Sci. (2005)

Keyphrases

theorem proving
real time
knowledge base
theorem prover
mathematical proofs
multimedia
three dimensional
multiscale
proof theory
proof planning