A Theory of Structured Model-Based Specifications in Isabelle/HOL.
Thomas SantenPublished in: TPHOLs (1997)
Keyphrases
- theorem prover
- natural deduction
- formal methods
- theorem proving
- theoretical framework
- higher order logic
- search engine
- high level
- computational model
- first order logic
- genetic algorithm
- real world
- neural network
- web services
- higher order
- real time
- information theory
- theoretical basis
- machine learning
- structured learning