scientific article
From MaRDI portal
Publication:2753606
zbMath0972.03527MaRDI QIDQ2753606
Publication date: 14 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Bibliographies for mathematics in general (00A15)