Cover von 10th International Conference on Interactive Theorem Proving opens in new tab

10th International Conference on Interactive Theorem Proving

ITP 2019, September 9 - 12, 2019, Portland, OR, USA
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 141
Media group: LIPIcs
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: online only Location 2: ELECTRONIC EDITION Location 3: Status: OpenAccess

Content

International Conference on Interactive Theorem Proving <10, 2019, Portland>

Details

Search for this author
Year: 2019
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-122-1
ISBN (2nd): 3-95977-122-3
Series: Leibniz International Proceedings in Informatics; 141
Participating parties: Search for this character Harrison, John; O'Leary, John W.; Tolmach, Andrew
Media group: LIPIcs