Intermittent Assertion Proofs in Lucid.
Edward A. AshcroftWilliam W. WadgePublished in: IFIP Congress (1977)
Keyphrases
- theorem prover
- model based diagnosis
- formal proof
- theorem proving
- databases
- equational theories
- database
- natural language
- mathematical knowledge
- formal proofs
- mobile devices
- evolutionary algorithm
- hidden markov models
- expert systems
- metadata
- natural deduction
- artificial intelligence
- mathematical proofs
- interactive theorem proving