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
1 VERIDIS - VERIfication pour les systèmes DIStribués
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications : UMR7503
Document type :
Directions of work or proceedings
Complete list of metadatas
https://hal.inria.fr/hal-02194007
Contributor : Pascal Fontaine <>
Submitted on : Thursday, July 25, 2019 - 9:58:56 AM
Last modification on : Wednesday, December 4, 2019 - 7:33:58 AM

Identifiers

  • HAL Id : hal-02194007, version 1

Collections

CNRS | UNIV-LORRAINE | LORIA | INRIA

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

Record views

44

 

Contact                    Legal Notice                    Personal Data