Détails sur le séminaire


salle A. Turing CE4

2 décembre 2013 - 14h00
A higher order to first order translation
par Thibault Gauthier de n/a



Abstract: An implementation of an interaction between a proof assistant HOL4 and an automated prover
Beagle.





Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3901583