scientific article
From MaRDI portal
Publication:3122078
zbMath1436.03297MaRDI QIDQ3122078
Lia Kurtanidze, Mikheil Rukhaia
Publication date: 20 March 2019
Full work available at URL: http://www.emis.de/journals/TICMI/vol22_1/p3-10.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software
This page was built for publication:
