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

Fontaine, Pascal

doi:10.1007/978-3-030-29436-6

Complete issue (Scientific journals)

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

Fontaine, Pascal

2019 • In Lecture Notes in Computer Science, 11716

Peer reviewed

Permalink
https://hdl.handle.net/2268/256529

DOI
10.1007/978-3-030-29436-6

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

preface.pdf

Author preprint (98.83 kB)

Download

All documents in ORBi are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Fontaine, Pascal ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Systèmes informatiques distribués

Language :

English

Title :

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

Publication date :

2019

Journal title :

Lecture Notes in Computer Science

ISSN :

0302-9743

eISSN :

1611-3349

Publisher :

Springer, Heidelberg, Germany

Volume :

11716

Peer reviewed :

Peer reviewed

Additional URL :

https://doi.org/10.1007/978-3-030-29436-6

Commentary :

978-3-030-29435-9

Available on ORBi :

since 05 February 2021

Statistics

Number of views

74 (1 by ULiège)

Number of downloads

106 (7 by ULiège)

More statistics

OpenCitations

OpenAlex citations