ITP

From Openresearch
Jump to: navigation, search
ITP
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
CORE Rank (2017): A
Table of Contents

Events

The following events of the series ITP are currently known in this wiki:

Submission/Acceptance

Locations



Facts about "ITP"
EventSeries acronymITP +
Has CORE RankA +
IsAEventSeries +
TitleConference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) +