Skip to Main content Skip to Navigation
Directions of work or proceedings

Automated Deduction – CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

Pascal Fontaine 1, 2
1 MOSEL - Proof-oriented development of computer-based systems
LORIA - FM - Department of Formal Methods
2 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/hal-02194007
Contributor : Pascal Fontaine Connect in order to contact the contributor
Submitted on : Thursday, July 25, 2019 - 9:58:56 AM
Last modification on : Wednesday, November 3, 2021 - 7:10:25 AM

Identifiers

  • HAL Id : hal-02194007, version 1

Collections

CNRS | UNIV-LORRAINE | LORIA | INRIA | LORIA-FM

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Les métriques sont temporairement indisponibles

 

Contact                    Legal Notice                    Personal Data