Skip to search formSkip to main contentSkip to account menu

Interactive Theorem Proving (conference)

Known as: ITP, Theorem Proving in Higher Order Logics, Theorem Proving in Higher-Order Logics 
Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
ACL2Automated theorem provingConference on Automated DeductionCoq (software)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Funkcja opiekuńczo-wychowawcza szkoły – relikt przeszłości czy współczesne wyzwanie
The author depicts the traditional views characteristic to the period of the Polish People’s Republic, that combined care and… 
2012
2012
Instrumentos de proteção dos conhecimentos tradicionais associados à biodiversidade
Este estudo objetiva apresentar mecanismos de protecao (registros e indicadores de desenvolvimento sustentavel) aos conhecimentos… 
2009
2009
Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
2008
2008
Charakterystyka pokolenia Y
Przelom roku 1989 sprawil, ze pojawila sie rysa na ciąglości pokoleniowej. Uwaga ta dotyczy szczegolnie osob urodzonych w latach… 
2008
2008
An Interactive Driver for Goal-directed Proof Strategies
2006
2006
Efficacy and Safety of the New Intravenous Immunoglobulin IGIV 10% in Adults with Chronic Idiopathic Thrombocytopenic Purpura
Background: Intravenous immunoglobulin (IGIV) 10% is a newly developed 10% liquid immunoglobulin preparation for intravenous use… 
2006
2006
Equational Specification of UML + OCL Static Class Diagrams ?
In this paper we propose an equational specification of UML+OCL static class diagrams that provides a formal foundation for… 
2005
2005
The ITP Tool's Manual
The ITP tool is an experimental inductive theorem prover for proving properties of Maude equational specifications, i.e… 
1998
1998
Adenovirus pneumonitis successfully treated with intravenous ribavirin
Adenovirus infections are a frequent cause of severe complications in the post allogeneic bone marrow transplantation period, and… 
1995
1995
Zróżnicowanie barwy oczu w populacji polskiej
THE DISTRIBUTION OF EYE-COLOUR IN THE POLISH POPULATION among adult males and females shows no regional differences in eye-colour… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)