Login / Signup

Proof Pearl: Proving a Simple Von Neumann Machine Turing Complete.

J Strother Moore
Published in: ITP (2014)
Keyphrases
  • von neumann
  • turing machine
  • support vector
  • causal models
  • expected utility