Jacques Pitrat : Démonstration automatique, métathéorèmes, connaissances déclaratives

Name: Jacques Pitrat : Démonstration automatique, métathéorèmes, connaissances déclaratives
Uploaded: 2020-05-12T14:01:33+00:00
Duration: 36 min 51 s
Channel: AfIA
Description: Journée hommage de l'AfIA à Jacques PITRAT <br />organisée le 6 Mars 2020 au CICSU Sorbonne Université ( <br />https://afia.asso.fr/journee-hommage-j-pitrat/) <br /> <br />Intervention de Dominique Pastre (U. Paris Descartes honoraire) : "Démonstration automatique, métathéorèmes, connaissances déclaratives"

AfIA

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"

Catégorie

Recommandations