View source for ITP

← ITP

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

{{Event series
|acronym=ITP
|Title=Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
|has CORE2017 Rank=A
}}

Templates used on this page:

Return to ITP.

Retrieved from "https://www.openresearch.org/wiki/ITP"

Facts about "ITP"

EventSeries acronym	ITP +
Has CORE Rank	A +
IsA	EventSeries +
Title	Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) +