A resolution theorem prover for intuitionistic logic

From MaRDI portal
Publication:4647496

DOI10.1007/3-540-61511-3_65zbMath1412.68265OpenAlexW1787768633MaRDI QIDQ4647496

Tanel Tammet

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_65




Related Items


Uses Software


Cites Work