Proceedings
Year : 2019
Pascal Fontaine : Connect in order to contact the contributor
https://hal.inria.fr/hal-02194007
Submitted on : Thursday, July 25, 2019-9:58:56 AM
Last modification on : Wednesday, February 8, 2023-5:11:08 PM
Dates and versions
Identifiers
- HAL Id : hal-02194007 , version 1
Cite
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⟩
36
View
0
Download