Journée hommage de l'AfIA à Jacques PITRAT
organisée le 6 Mars 2020 au CICSU Sorbonne Université (
https://afia.asso.fr/journee-hommage-j-pitrat/)
Intervention de Dominique Pastre (U. Paris Descartes honoraire) : "Démonstration automatique, métathéorèmes, connaissances déclaratives"
