scientific article
From MaRDI portal
Publication:3347334
zbMATH Open0558.68075MaRDI QIDQ3347334
N. V. Fotiev, V. A. Tuzov, A. I. Troyan
Publication date: 1984
Title of this publication is not available (Why is that?)
Related Items (5)
An informal introduction to a high level language with applications to interval mathematics ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ A survey of languages for formalizing mathematics ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3347334)
