TY  - BOOK
AU  - Narendra, Jussien
TI  - Logique(s), langages formels et complexité pour l'informatique
T2  - Les TP Informatiques
SN  - 9991000
PY  - 2006///
CY  - Paris
PB  - La voisier
KW  - L'histoire de la logique, logique des propositions,  automates
ER  -