Difference between revisions of "ITP"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (fixed acronym (#136)) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| Line 3: | Line 3: | ||
|has CORE2017 Rank=A | |has CORE2017 Rank=A | ||
|Acronym=ITP | |Acronym=ITP | ||
| + | |pageCreator=Soeren | ||
| + | |pageEditor=Soeren | ||
| + | |contributionType=1 | ||
}} | }} | ||
Latest revision as of 21:18, 1 April 2022
ITP 
| ITP | |
|---|---|
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
| |
| CORE Rank (2017): | A |
| Avg. acceptance rate: | 0 |
| Avg. acceptance rate (last 5 years): | 0 |
| Table of Contents | |
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) (ITP) has an average acceptance rate of 0% (last 5 years 0%).
Events
There are 0 events of the series ITP known to this wiki:
Submission/Acceptance
Locations