Login / Signup

Review of Burdens of Proof By Jean-François Blanchette.

Harry Lewis
Published in: SIGACT News (2013)
Keyphrases
  • neural network
  • literature review
  • objective function
  • theorem proving
  • website
  • decision trees
  • multiscale
  • current status
  • linear logic