La machine en logique

פריטים דומים

• Algorithmes et machines à calculer
  מאת: Trahtenbrot, Boris Avraamovich.
  יצא לאור: 1963
• La machine de Turing
  מאת: Turing, Alan Mathison, 1912-1954.
  יצא לאור: 1995
• An introduction to mathematical machine theory.
  מאת: Ginsburg, Seymour.
  יצא לאור: 1962
• Machines de Turing et automates cellulaires : du trait gravé au très animé
  מאת: Corge, Charles.
  יצא לאור: 2008
• Méthodes mathématiques pour l'informatique
  מאת: Vélu, Jacques, 1943-
  יצא לאור: 1994