Login required

Jump to: navigation, search

Please log in to edit pages.

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) +