scientific article; zbMATH DE number 3558904

zbMATH Open0358.68001MaRDI QIDQ4130944FDOQ4130944

Authors: Lutz H. Richter 

Publication date: 1977

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited In (1)

• Negation-free and contradiction-free proof of the Steiner-Lehmus theorem

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