Automated Deduction – CADE-27 - Archive ouverte HAL Access content directly
Proceedings Year : 2019

Automated Deduction – CADE-27

(1, 2)
1
2
Not file

Dates and versions

hal-02194007 , version 1 (25-07-2019)

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

Share

Gmail Facebook Twitter LinkedIn More