Theorem Proving in Higher Order Logics
From MaRDI portal
Publication:5477644
DOI10.1007/11541868zbMath1152.68464OpenAlexW2484880499MaRDI QIDQ5477644
Publication date: 6 July 2006
Full work available at URL: https://doi.org/10.1007/11541868
Related Items