Photograph by Isabelle Puaut
with Romain Legendre
Compilation : analyse lexicale et syntaxique
Du texte à sa structure en informatique
with Olivier Gasquet, Andreas Herzig, Bilal Said
Kripke's Worlds
An introduction to Modal Logics via Tableaux
Je contribue à wikipedia et j'aime beaucoup ajouter des illustrations :