Normal view MARC view ISBD view

Interactive theorem proving : 8th international conference proceedings ITP 2017, Brasília, Brazil, September 26–29, 2017 (e-book) - Cham Springer 2017 - Lecture Notes in Computer Science ; v.10499 .

ISBN: 978-3-319-66107-0

ISSN: 1611-3349

Subjects--Topical Terms:
Computer Science and Engineering
Software Engineering--Congresses
Automatic theorem proving--Congresses
Logic, Symbolic and mathematical--Congresses
Artificial intelligence --Congresses
Computer logic--Congresses
Computer system failures--Congresses