TY  - CHAP
AU  - Tamari, Dov
TI  - Machines logiques et problèmes de mots. I : les machines de Turing (T.M.)
BT  - Séminaire Bourbaki : années 1951/52 - 1952/53 - 1953/54, exposés 50-100
AU  - Collectif
T3  - Séminaire Bourbaki
N1  - talk:55
PY  - 1954
SP  - 47
EP  - 58
IS  - 2
PB  - Société mathématique de France
UR  - http://www.numdam.org/item/SB_1951-1954__2__47_0/
LA  - fr
ID  - SB_1951-1954__2__47_0
ER  -