scientific article
From MaRDI portal
Publication:3384814
zbMath1476.68299MaRDI QIDQ3384814
Publication date: 17 December 2021
Full work available at URL: https://www.lms.ac.uk/sites/lms.ac.uk/files/files/NLMS_484-forweb2.pdf#reftaskno.10
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)
Related Items (1)
This page was built for publication:
