Academic
Conferences
TPHOLs - Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics,TPHOLs,Algorithms & Theory,Hardware & Architecture

TPHOLs - Theorem Proving in Higher Order Logics
Publications: 569| Citation Count: 5,373 (Self-Citation: 575)
Year Range: 1991-2009
Cumulative Annual
Sort by: