scientific article
From MaRDI portal
Publication:3759967
zbMath0622.68080MaRDI QIDQ3759967
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic logicsynthetic differential geometrylinear algebraproof checkerComputer Aided ProofNew Generation Computer Technology
This page was built for publication: