Login / Signup
Literate and Structured Presentation of Formal Proofs.
Martin Simons
Maya Biersack
Robert Raschke
Published in:
PROCOMET (1994)
Keyphrases
</>
formal proofs
database systems
structured data
multimedia
databases
programming environments
database
real world
machine learning
knowledge base
case study
image segmentation
structured learning