scientific article; zbMATH DE number 2222011
From MaRDI portal
Publication:5702660
zbMath1082.03011MaRDI QIDQ5702660
Publication date: 2 November 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mechanization of proofs and logical operations (03B35)
Related Items (2)
This page was built for publication:
