scientific article; zbMATH DE number 3597912
From MaRDI portal
Publication:4164853
zbMath0384.68080MaRDI QIDQ4164853
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Classical first-order logic (03B10) Information storage and retrieval of data (68P20) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication:
