Literate Proving: Presenting and Documenting Formal Proofs.

Paul A. Cairns Jeremy Gow

Published in: MKM (2005)

Keyphrases

formal proofs
databases
cooperative
long period
information retrieval
multimedia
web services
knowledge representation