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

17th International Conference on Interactive Theorem Proving

ITP 2026, Lisbon, Portugal, July 26-29, 2026
Search for this author
Year: 2026
Publisher: Berlin, Springer
Series: Leibniz International Proceedings in Informatics; 382
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 <17, 2026, Lisbon>

Details

Search for this author
Year: 2026
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-436-9
ISBN (2nd): 3-95977-436-2
Series: Leibniz International Proceedings in Informatics; 382
Participating parties: Search for this character Komendantskaya, Ekaterina; Nipkow, Tobias
Media group: LIPIcs