Login / Signup

Abstractions of Uniform Proofs.

Paolo Volpe
Published in: ALP (1996)
Keyphrases
  • formal proofs
  • theorem prover
  • theorem proving
  • mathematical proofs
  • high level
  • similarity measure
  • expert systems
  • formal proof
  • real world
  • feature selection
  • image sequences
  • probabilistic model