005.131 - Logique symbolique (automates, fonctions récursives appliquées aux langages de programmation, grammaires, langages formels, principes mathématiques ...
-
Logique pour l'informatique et pour l'intelligence artificielleRicardo CaferraHermès science publications92,00
-
Introduction à la calculabilité - 3ème édition, cours et exercices corrigésPierre WolperDunod39,00
-
Logique(s), langages formels et complexité pour l'informatiqueNarendra JussienHermès science publications72,00