![Photo bandeau superieur](https://buc.univ-saida.dz/admin/opac_css/temp/cms_vign/buce/large/section79.jpeg)
Détail de l'auteur
Auteur P. Dehornoy |
Documents disponibles écrits par cet auteur (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Introduction à l'étude des structures mathématiques sous-jacentes à l'informatique : automates, langages algébriques, calculabilité effective, complexité des algorithmes, logique booléenne, logiques du premier ordre.