Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CONF
ID - DBLP:conf/itp/2017
ED - Ayala-Rincón, Mauricio
ED - Muñoz, César A.
TI - Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings
T3 - Lecture Notes in Computer Science
VL - 10499
PY - 2017//
PB - Springer
DO - 10.1007/978-3-319-66107-0
UR - https://doi.org/10.1007/978-3-319-66107-0
SN - ISBN 978-3-319-66106-3
SN - ISBN 978-3-319-66107-0
ER -
