Interactive Theorem Proving : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

Find Full text
Publication year
2011
Author(s)
Eekelen, M.C.J.D. van
Geuvers, H.
Schmaltz, J.
Wiedijk, F.
Publisher
Berlin : Springer
Series
Lecture Notes in Computer Science. Theoretical Computer Science and General Issues ; 6898
ISBN
9783642228629
Number of pages
383 p.
DOI
Publication type
Book (monograph)
If a DOI or any other persistent identifier is unavailable, please use the following repository identifier to link to this item: https://hdl.handle.net/2066/91946   https://hdl.handle.net/2066/91946
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.