Isabelle technology for the Archive of Formal Proofs with application to MMT.

Makarius Wenzel

Published in: CICM Workshops (2019)

Keyphrases

formal proofs
key technologies
bayesian networks
rapid development
information retrieval
neural network
case study
enterprise application
personal computer
business processes
computer systems
decision support
data processing
artificial neural networks
website
information systems
computer vision