scientific article
From MaRDI portal
Publication:3773393
zbMath0634.68097MaRDI QIDQ3773393
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Information storage and retrieval of data (68P20)