INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 14TH 2023. (ITP 2023)

INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 14TH 2023. (ITP 2023)

Item #:
071387
Our Price: $170.00
Adding to cart… The item has been added

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 )

Description

 

Members/Attendees

 

Tab 4

 
  • 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 )