scientific article; zbMATH DE number 1421055
From MaRDI portal
Publication:4946079
zbMath0966.51011MaRDI QIDQ4946079
Publication date: 16 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Elementary problems in Euclidean geometries (51M04)
Related Items (1)
This page was built for publication: