Sign in

On extracting computations from propositional proofs (a survey).

Pavel Pudlák
Published in: FSTTCS (2010)
Keyphrases
  • propositional logic
  • first order logic
  • database
  • data sets
  • theorem prover
  • default logic
  • probabilistic logic
  • real time
  • neural network
  • artificial intelligence
  • social networks
  • decision trees
  • mathematical proofs