scientific article; zbMATH DE number 3602669
From MaRDI portal
Publication:4168060
zbMath0387.68027MaRDI QIDQ4168060
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
First-order approximation of algorithmic theories, Specifications, models, and implementations of data abstractions, Étude et implémentation d'un système de déduction pour logique algorithmique