N° 6 - Décembre 1983
1 - Éditorial
Informatique et théocratie
par Jean - Philippe Lehmann
7 - UNE PREUVE DIRECTE DE L'EQUIVALENCE ENTRE
MACHINE DE TURING ET MACHINE A CASES ADRESSABLES
par Jean - Philippe Lehmann
50 - AUTOJECTION ET COMPILATEURS
PROCEDURE FORMELLE SYMBOLIQUE
par Edmond Bianco
66 - LE GRAFCET : ETUDES ET REFLEXIONS
par Patrick Isoardi
78 - AIDE A LA CONSTRUCTION DE PROGRAMMES
BASIC SUR SYSTEMES APPLE
par Jean - Philippe Lehmann
90 - VOUZZAVEDIBISAR
Citations
par Edmond Bianco