scientific article
From MaRDI portal
Publication:3749038
zbMath0609.03004MaRDI QIDQ3749038
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maslov's inverse methodalgorithm for natural deduction search for proofs in propositional logicLeningrad logic group
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Schools of mathematics (01A72)
Related Items (2)
Image of Soviet and Russian logic in the West. Latter Half of the XXth Century ⋮ Optimizing proof search in model elimination
This page was built for publication:
