INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 11TH 2019. (ITP 2019)

INTERACTIVE THEOREM PROVING. INTERNATIONAL CONFERENCE. 11TH 2019. (ITP 2019)

Item #:
050375
Our Price: $158.00
Adding to cart… The item has been added

Details

  • Title: 10th International Conference on Interactive Theorem Proving (ITP 2019)
  • Date/Location: Held 9-12 September 2019, Portland, Oregon, USA.
  • Series: Leibniz International Proceedings in Informatics Volume 141
  • Editor: Harrison, J. et al.
  • ISBN: 9781510892675
  • Pages: 610 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Sep 2019 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 10th International Conference on Interactive Theorem Proving (ITP 2019)
  • Date/Location: Held 9-12 September 2019, Portland, Oregon, USA.
  • Series: Leibniz International Proceedings in Informatics Volume 141
  • Editor: Harrison, J. et al.
  • ISBN: 9781510892675
  • Pages: 610 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Sep 2019 )