• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Browsing Proof Markup Language Provenance: Enhancing the Experience.

Nicholas Del RioPaulo Pinheiro da SilvaHugo Porras
Published in: IPAW (2010)
Keyphrases
  • markup language
  • metadata
  • browsing experience
  • theorem prover
  • data sets
  • databases
  • web pages
  • user experience
  • theorem proving
  • user interaction
  • xml schema