INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 16TH 2025. (ITP 2025)

INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 16TH 2025. (ITP 2025)

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

Details

  • Title: 16th International Conference on Interactive Theorem Proving (ITP 2025)
  • Date/Location: Held 28 September - 1 October 2025, Reykjavik, Iceland.
  • Series: Leibniz International Proceedings in Informatics Volume 352
  • Editor: Forster, Y. and Keller, C.
  • ISBN: 9798331326791
  • Pages: 764 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Oct 2025 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 16th International Conference on Interactive Theorem Proving (ITP 2025)
  • Date/Location: Held 28 September - 1 October 2025, Reykjavik, Iceland.
  • Series: Leibniz International Proceedings in Informatics Volume 352
  • Editor: Forster, Y. and Keller, C.
  • ISBN: 9798331326791
  • Pages: 764 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Oct 2025 )