Automated Deduction – CADE-27 - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Proceedings Year : 2019
No 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⟩
38 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More