scientific article

zbMath1346.03036MaRDI QIDQ2806784

V. P. Pavlov, Vadim Pak

Publication date: 19 May 2016

Full work available at URL: http://www.j-npcs.org/abstracts/vol2015/v18no2/v18no2p181.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem provingautomated reasoninginverse methodintuitionistic logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

This page was built for publication: