scientific article; zbMATH DE number 1348456

zbMATH Open0925.03068MaRDI QIDQ4264706FDOQ4264706

Authors: Xin Hua, Hantao Zhang 

Publication date: 7 October 1999

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem
• Proving Ramsey's theory by the cover set induction: A case and comparision study.

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 Q4264706)