Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / edited by Jasmin Christian Blanchette, Stephan Merz
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9807Publisher: Cham : Springer, 2016Description: Online-Ressource (XVII, 502 p. 88 illus, online resource)ISBN:- 9783319431444
- QA8.9-QA10.3
No physical items for this record