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

15th International Conference on Interactive Theorem Proving

ITP 2024, September 9-14, 2024, Tbilisi, Georgia
Search for this author
Year: 2024
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 309
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 <15, 2024, Tbilisi>

Details

Search for this author
Year: 2024
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-337-9
ISBN (2nd): 3-95977-337-4
Series: Leibniz International Proceedings in Informatics; 309
Participating parties: Search for this character Bertot, Yves; Kutsia, Temur; Norrish, Michael
Media group: LIPIcs