scientific article
From MaRDI portal
Publication:3817654
zbMath0666.68095MaRDI QIDQ3817654
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35)
This page was built for publication: