Proceedings/Recueil Des Communications
Année : 2019
Pascal Fontaine : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02194007
Soumis le : jeudi 25 juillet 2019-09:58:56
Dernière modification le : lundi 2 décembre 2024-17:46:02
Dates et versions
Identifiants
- HAL Id : hal-02194007 , version 1
Citer
Pascal Fontaine. Automated Deduction – CADE-27. Pascal Fontaine. CADE 27 - 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. 11716, Springer, 2019, Lecture Notes in Artificial Intelligence. ⟨hal-02194007⟩
43
Consultations
0
Téléchargements