Home > Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Book Informaton
Author
Christian Urban; Xingyuan Zhang
Series
Lecture Notes in Computer Science
Volume
9236
Year of Publication
1st ed. 2015
Publisher
Springer International Publishing
Pages
XI, 469
Language
EN
ISBN
9783319221014, 9783319221021, 3319221019
ARI Id
1665065313099
Find on
This page has been accessed 5 times.
Access Options
Citation Options
Download Citation| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |