Login / Signup

Alternation Trading Proofs and Their Limitations.

Sam Buss
Published in: MFCS (2013)
Keyphrases
  • electronic commerce
  • theorem proving
  • data sets
  • neural network
  • theorem prover
  • formal proofs