Login / Signup
Monotonicity in Calculational Proofs.
David Gries
Published in:
Correct System Design (1999)
Keyphrases
</>
theorem proving
theorem prover
first order logic
decision procedures
formal proofs
natural deduction
equational theories
data sets
inference rules
mathematical proofs
neural network
computer vision
preprocessing
evolutionary algorithm
monotonicity property
interactive theorem proving