Applications of quantifier elimination to mechanical theorem proving
By: [by] Klaus Galda and Emmanuel P. L. Passos.
Contributors: Passos, Emmanuel Piseces Lopes, joint author.
Series: Monographs in computer science and computer applications,; no. 6/72
Publisher: Pontifica Universidade Católica do Rio de Janeiro]
Published: 1972
Place of publication: [Rio de Janeiro
Language: eng
Number of pages: 17
Subjects: Automatic theorem proving.
Notes: Includes bibliographical references.