What does ITP stand for?

MLA style: "ITP." Acronym Finder . 2012. AcronymFinder.com 30 May. 2012 http://www.acronymfinder.com/Interactive-Theorem-Proving-(ITP).html
Chicago style: Acronym Finder . S.v. "ITP." Retrieved May 30 2012 from http://www.acronymfinder.com/Interactive-Theorem-Proving-(ITP).html
APA style: ITP. (n.d.) Acronym Finder. (2012). Retrieved May 30 2012 from http://www.acronymfinder.com/Interactive-Theorem-Proving-(ITP).html

Interactive Theorem Proving

This definition appears very rarely and is found in the following Acronym Finder categories:

Information technology (IT) and computers
Science, medicine, engineering, etc.
Organizations, NGOs, schools, universities, etc.

Other Resources:

<< Previous	Abbreviation Database Surfer		Next >>
Integral Transformative Practice (ITP International) Integrated Terminal Program Integrated Test Package Integrated Test Plan Integrated Test Program Integrated Transport Platform Intensive Training Program intention to proceed Interactive Telecommunications Program (New York University) Interactive Testing in Psychiatry		Interface Test Program Internal Transfer Price International Third Position (UK) International Thompson Publishing (publishing company) International Thomson Publishing Company International Thyroid Project International Time Programme International Trade Policy International Training Program Internationally Trained Professional (Canada)

Samples in periodicals archive:

In related developments, SRI announced that the latest versions of its PVS verification system, which uses interactive theorem proving, and its SAL model checking suite have been extended to use Yices and have switched their licensing terms to open source under the Gnu General Public License (GPL).

New Class of Formal Software Verification Engines Reaching Maturity