Login / Signup

Autotically Synthesized Term Denotation Predicates: A Proof Aid.

Paul E. BlackPhillip J. Windley
Published in: TPHOLs (1995)
Keyphrases
  • theorem proving
  • theorem prover
  • linear logic
  • real time
  • multiscale
  • user defined
  • regularization term