Concrete Semantics with Coq and CoqHammer
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Engelsk |
---|---|
Titel | Intelligent Computer Mathematics : 11th International Conference, CICM 2018 Hagenberg, Austria, August 13–17, 2018 Proceedings |
Redaktører | Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef |
Forlag | Springer |
Publikationsdato | 18 jul. 2018 |
Sider | 53-59 |
Artikelnummer | 5 |
ISBN (Trykt) | 978-3-319-96811-7 |
ISBN (Elektronisk) | 978-3-319-96812-4 |
DOI | |
Status | Udgivet - 18 jul. 2018 |
Begivenhed | 11th International Conference on Intelligent Computer Mathematic - Hagenberg, Østrig Varighed: 13 aug. 2018 → 17 aug. 2018 |
Konference
Konference | 11th International Conference on Intelligent Computer Mathematic |
---|---|
Land | Østrig |
By | Hagenberg |
Periode | 13/08/2018 → 17/08/2018 |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 11006 |
ISSN | 0302-9743 |
ID: 222695035