- divers articles
en html
ou pdf
-
description d'un livre
auquel j'ai participé, paru en juin 2011 (ici, les calculs
en
Maple qui
fondent ma contribution)
- une ou deux conférences
enregistrées
Programmation
Machines
de Turing
Logiciels
de
logique (formes normales
et déduction naturelle)