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 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : hal-02194007 , version 1
Citer
Pascal Fontaine. Automated Deduction – CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Pascal Fontaine. CADE 27 - 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. 11716, Springer, 2019, Lecture Notes in Artificial Intelligence. ⟨hal-02194007⟩
38
Consultations
0
Téléchargements