scientific article; zbMATH DE number 3319539

zbMATH Open0201.33102MaRDI QIDQ5599162FDOQ5599162

Authors: George E. Collins 

Publication date: 1960

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

Cited In (2)

• A bibliography of quantifier elimination for real closed fields
• Solving problems by formula manipulation in logic and linear inequalities

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