Theorem Prover for Intuitionistic Logic Based on the Inverse Method
Crossref DOI link: https://doi.org/10.1134/S036176881801005X
Published Online: 2018-03-09
Published Print: 2018-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pavlov, V. A.
Pak, V. G.
Text and Data Mining valid from 2018-01-01
Article History
Received: 15 September 2017
First Online: 9 March 2018