scientific article; zbMATH DE number 625126
From MaRDI portal
Publication:4303522
zbMath0851.51001MaRDI QIDQ4303522
Publication date: 28 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Elementary problems in Euclidean geometries (51M04) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01)
Related Items (1)
This page was built for publication: