Computation: finite and infinite machines

Marvin Minsky First published 1967

Subjects

  • automates mathématiques, théorie des
  • calcul automatique
  • electronic data processing
  • logic, symbolic and mathematical
  • machine theory
  • symbolic and mathematical logic