Christine Paulin-Mohring

Christine Paulin-Mohring, née le , est mathématicienne et informaticienne française. Elle développe l'assistant de preuve Rocq. Informations fournies par Wikipedia
Résultat(s) 1 - 1 résultats de 1 pour la requête 'Paulin-Mohring, Christine', Temps de recherche: 0,02s Affiner les résultats
1
Mathematics of Program Construction
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Accéder au texte intégral
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel