Communication Dans Un Congrès
Année : 2009
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00940672
Soumis le : dimanche 2 février 2014-13:57:56
Dernière modification le : mercredi 18 décembre 2024-10:09:38
Citer
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier. Dei: A Theorem Prover for Terms with Integer Exponents. 22nd International Conference on Automated Deduction, 2009, Montreal, Canada. pp.146-150, ⟨10.1007/978-3-642-02959-2_11⟩. ⟨hal-00940672⟩
63
Consultations
0
Téléchargements