La machine en logique
محفوظ في:
المؤلف الرئيسي: | Wagner, Pierre, 1963- |
---|---|
التنسيق: | Livre |
اللغة: | Français |
منشور في: |
Paris :
Presses Universitaires de France,
DL1998.
|
سلاسل: | Science, histoire et société
|
الموضوعات: | |
Autres localisations: | Voir dans le Sudoc |
مواد مشابهة
-
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