Démonstration automatique, métathéorèmes, connaissances déclaratives
AfIA
2020-04-07
Views 2
Introduction de la 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 »
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 »
Report form
RELATED VIDEOS
