INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 12TH 2021. (ITP 2021)

INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 12TH 2021. (ITP 2021)

Item #:
059728
Our Price: $121.00
Adding to cart… The item has been added

Details

  • Title: 12th International Conference on Interactive Theorem Proving (ITP 2021)
  • Subtitle: Held online
  • Date/Location: Held 29 June - 1 July 2021, Rome, Italy.
  • Series: Leibniz International Proceedings in Informatics Volume 193
  • Editor: Cohen, L. et al.
  • ISBN: 9781713832522
  • Pages: 562 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Jul 2021 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 12th International Conference on Interactive Theorem Proving (ITP 2021)
  • Subtitle: Held online
  • Date/Location: Held 29 June - 1 July 2021, Rome, Italy.
  • Series: Leibniz International Proceedings in Informatics Volume 193
  • Editor: Cohen, L. et al.
  • ISBN: 9781713832522
  • Pages: 562 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Jul 2021 )