Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,253,411 papers from all fields of science
Search
Sign In
Create Free Account
Interactive Theorem Proving (conference)
Known as:
ITP
, Theorem Proving in Higher Order Logics
, Theorem Proving in Higher-Order Logics
Expand
Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
ACL2
Automated theorem proving
Conference on Automated Deduction
Coq (software)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Memory Rank Spare testing method based on ITP tool
齐煜
,
王守昊
2014
Corpus ID: 69645751
The invention discloses a Memory Rank Spare testing method based on an ITP tool. The specific achieving process includes…
Expand
2014
2014
Joint Automated Reasoning Workshop and Deduktionstreffen
A. Bolotov
2014
Corpus ID: 16278851
Preface For many years the British and the German automated reasoning communities have successfully run independent series of…
Expand
2012
2012
Instrumentos de proteção dos conhecimentos tradicionais associados à biodiversidade
Márcia Rodrigues Bertoldi
,
K. Sposato
2012
Corpus ID: 162785904
Este estudo objetiva apresentar mecanismos de protecao (registros e indicadores de desenvolvimento sustentavel) aos conhecimentos…
Expand
2012
2012
Charakterystyka badań wybranych funkcji ochronnych opakowań polimerowych
Aparatura Chemiczna
,
M. Bielinski
,
P. Czyżewski
2012
Corpus ID: 135822774
Ciągły rozwój branży opakowań polimerowych, charakteryzujący się różnorodnością geometryczną, materiałową i zastosowań, wymusza…
Expand
2011
2011
TOEFL-ITP、SILL、英検CAN-DO LISTSを用いた英語学力と学習ストラテジー及び学習意識から見た一般学生と帰国学生の相違に関する横断的研究(2011年度)
木村 松雄
,
遠藤 健治
2011
Corpus ID: 60386062
2008
2008
Charakterystyka pokolenia Y
J. Fazlagić
2008
Corpus ID: 179922355
Przelom roku 1989 sprawil, ze pojawila sie rysa na ciąglości pokoleniowej. Uwaga ta dotyczy szczegolnie osob urodzonych w latach…
Expand
2002
2002
Effect of Inosine 5’-(p,y-Imido)triphosphate and Other Nucleotides on Beef Heart Mitochondrial ATPase*
Sheldon
,
M.
,
+6 authors
Lardy
2002
Corpus ID: 41562291
The effects of various substrates and alternative substrates on the hydrolytic activity of beef heart mitochondrial ATPase was…
Expand
2000
2000
Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings
M. Aagaard
,
J. Harrison
2000
Corpus ID: 61082090
Fix-Point Equations for Well-Founded Recursion in Type Theory.- Programming and Computing in HOL.- Proof Terms for Simply Typed…
Expand
Review
1994
Review
1994
Installation Transition Processing Network And Systems Management Architecture
S. Covell
,
Kristian Wold
,
Don Lawrence
Proceedings of NOMS '94 - IEEE Network Operations…
1994
Corpus ID: 28528123
Installation Transition Processing (ITP) is the first regional open systems-based environment fielded by the Army. The technology…
Expand
1981
1981
Slow proton andΔ++ production inK+p interactions at 70 GeV/c
M. Barth
,
C. Clercq
,
+43 authors
V. Zjigunov
1981
Corpus ID: 64706750
The inclusive inelastic processesK+p→pX+ andK+p→Δ++X0 are studied at an incident momentum of 70 GeV/c. The data comes from the…
Expand