Master informatique semestre 3

Logique et Langages INF 569
(partie théorie de la démonstration et grammaires catégorielles)

 

Théorie de la démonstration

Systèmes déductifs et grammaires formelles:
les grammaires catégorielles et applications à la modélisation du langage naturel

Contrôle continu 2008/2009

Anciens sujets d'examens:

dimanche 22 février, 2009 22:48 Christian Retoré