Locales - A Sectioning Concept for Isabelle.

Florian Kammüller Markus Wenzel Lawrence C. Paulson

Published in: TPHOLs (1999)

Keyphrases

theorem prover
concept learning
databases
information systems
real time
neural network
search engine
reinforcement learning
information technology
multiresolution
knowledge representation
inference rules