Page values for "ITP"

Jump to: navigation, search
Retrieved from "https://www.openresearch.org/wiki/ITP"
Facts about "ITP"
RDF feed
EventSeries acronymITP +
Has CORE RankA +
IsAEventSeries +
TitleConference on Interactive Theorem Proving (previously TPHOLs, changed in 2009) +