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

16th International Conference on Interactive Theorem Proving

ITP 2025, September 28 to October 1, 2025, Reykjavik, Iceland
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 352
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 <16, 2025, Reykjavik>

Details

Search for this author
Year: 2025
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-396-6
ISBN (2nd): 3-95977-396-X
Series: Leibniz International Proceedings in Informatics; 352
Participating parties: Search for this character Forster, Yannick; Keller, Chantal
Media group: LIPIcs