Login / Signup

and Cutfree Proofs.

Katalin Bimbó
Published in: J. Philos. Log. (2007)
Keyphrases
  • formal proofs
  • theorem proving
  • formal proof
  • theorem prover
  • bayesian networks
  • natural deduction
  • mathematical knowledge
  • database
  • neural network
  • computer vision
  • image processing
  • interactive theorem proving