Skip to main content
INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 15TH 2024. (ITP 2024)
- Item #:
- 076222
- UPC:
Details
-
Title:
15th International Conference on Interactive Theorem Proving (ITP 2024)
-
Date/Location:
Held 9-14 September 2024, Tbilisi, Georgia.
-
Series:
Leibniz International Proceedings in Informatics Volume 309
-
Editor:
Bertot, Y. and Kutsia, T. et al.
-
ISBN:
9798331303136
-
Pages:
716 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Oct 2024 )
-
Title:
15th International Conference on Interactive Theorem Proving (ITP 2024)
-
Date/Location:
Held 9-14 September 2024, Tbilisi, Georgia.
-
Series:
Leibniz International Proceedings in Informatics Volume 309
-
Editor:
Bertot, Y. and Kutsia, T. et al.
-
ISBN:
9798331303136
-
Pages:
716 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Oct 2024 )