iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/itp/2017.rdf
Mauricio Ayala-Rincón and César A. Muñoz: Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (2017) conf/itp/2017 10.1007/978-3-319-66107-0 9783319661063 9783319661070 Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings 2 Mauricio Ayala-Rincón 1 César A. Muñoz 2 Lecture Notes in Computer Science Lecture Notes in Computer Science 10499 2017 Springer provenance information for RDF data of dblp record 'conf/itp/2017' 2019-05-14T10:00:37+0200