scientific article
From MaRDI portal
Publication:3709842
zbMath0585.68002MaRDI QIDQ3709842
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)