scientific article; zbMATH DE number 952103
From MaRDI portal
Publication:4717191
zbMath0859.68049MaRDI QIDQ4717191
Thierry Coquand, Catarina Coquand
Publication date: 13 March 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Clocks for Functional Programs ⋮ On partitions of G-spaces and G-lattices ⋮ Unnamed Item ⋮ Programming interfaces and basic topology
This page was built for publication:
