Études encore d'actualité:


  • Acoustique musicale
    Nouveautés:
    - un livre auquel je participe, à paraître en 2010 (ici, les calculs en Maple qui fondent ma contribution)
    - ma communication au colloque "Vaucanson et la musique" (7 avril 2009)

  • Programmation

  • Machines de Turing

  • Logiciels de logique (formes normales et déduction naturelle)

 







Date de mise à jour: 08/01/2010