Suivez-nous
005.131 - Logique symbolique (automates, fonctions récursives appliquées aux langages de programmation, grammaires, langages formels, principes mathématiques ...