scientific article; zbMATH DE number 6938205
From MaRDI portal
Publication:5376325
zbMath1441.68277MaRDI QIDQ5376325
Mikheil Rukhaia, Lia Kurtanidze, Gela Chankvetadze
Publication date: 17 September 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication:
