Skip to main content
INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 14TH 2023. (ITP 2023)
- Item #:
- 071387
- UPC:
Details
-
Title:
14th International Conference on Interactive Theorem Proving (ITP 2023)
-
Date/Location:
Held 31 July - 4 August 2023, Bialystok, Poland.
-
Series:
Leibniz International Proceedings in Informatics Volume 268
-
Editor:
Naumowicz, A. and Thiemann, R.
-
ISBN:
9781713881414
-
Pages:
662 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Dec 2023 )
-
Title:
14th International Conference on Interactive Theorem Proving (ITP 2023)
-
Date/Location:
Held 31 July - 4 August 2023, Bialystok, Poland.
-
Series:
Leibniz International Proceedings in Informatics Volume 268
-
Editor:
Naumowicz, A. and Thiemann, R.
-
ISBN:
9781713881414
-
Pages:
662 (1 Vol) (approx)
-
Format:
Softcover
-
Publisher:
Schloss Dagstuhl
-
POD Publisher:
Curran Associates, Inc. ( Dec 2023 )