scientific article; zbMATH DE number 1348456
From MaRDI portal
Publication:4264706
zbMath0925.03068MaRDI QIDQ4264706
Publication date: 7 October 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Proving Ramsey's theory by the cover set induction: A case and comparision study. ⋮ Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem
This page was built for publication:
