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

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

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

Journée hommage de l'AfIA à Jacques PITRAT br organisée le 6 Mars 2020 au CICSU Sorbonne Université ( br ) br br Intervention de Dominique Pastre (U.

User: AfIA

Views: 7

Uploaded: 2020-05-12

Duration: 36:51

Your Page Title