scientific article
From MaRDI portal
Publication:3883461
zbMath0441.68013MaRDI QIDQ3883461
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
First-order approximation of algorithmic theories ⋮ Étude et implémentation d'un système de déduction pour logique algorithmique ⋮ Semantics of algorithmic languages
This page was built for publication: