Login / Signup
A Proof Rule for Euclid Procedures.
John V. Guttag
James J. Horning
Ralph L. London
Published in:
Formal Description of Programming Concepts (1977)
Keyphrases
</>
association rules
classification rules
real world
special case
theorem prover
mathematical proofs
database
logical rules
linear logic
active databases
theorem proving
rule base
rule sets
knowledge acquisition
medical images
web services
data sets