Difference between revisions of "ITP"
(CSV conf series import) |
(No difference)
|
Latest revision as of 21:21, 26 February 2020
| 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:
Number of Submitted and Accepted Papers (Main Track)
Acceptance Rate
Locations
Facts about "ITP"
| EventSeries acronym | ITP + |
| Has CORE Rank | A + |
| IsA | EventSeries + |
| Title | Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) + |
