scientific article
From MaRDI portal
Publication:3814841
zbMath0663.68104MaRDI QIDQ3814841
A. Mustaro, Paola Inverardi, P. Asirelli
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Information storage and retrieval of data (68P20)
This page was built for publication:
