Cover von Interactive Theorem Proving opens in new tab

Interactive Theorem Proving

Second International Conference, Berg en Dal, The Netherlands, August 22 - 25, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6898
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 6898 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Interactive Theorem Proving <2, 2011, Berg en Dal>

Details

Search for this author
Year: 2011
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-642-22862-9
ISBN (2nd): 3-642-22862-3
Description: XI, 382 S.
Series: Lecture notes in computer science; 6898
Participating parties: Search for this character Eekelen, Marko van; Geuvers, Herman; Schmaltz, Julien; Wiedijk, Freek
Parallel title: ITP 2011
Media group: MONOGRAPHIE