Proof Presentation.

Jörg H. Siekmann

Published in: Deduction and Applications (2005)

Keyphrases

multimedia
theorem prover
theorem proving
proof planning
interface design
computer vision
automated theorem proving
real time
information retrieval
artificial intelligence
information systems