scientific article
From MaRDI portal
Publication:3358727
zbMath0732.03038MaRDI QIDQ3358727
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Abstract and axiomatic computability and recursion theory (03D75)
This page was built for publication: