Automated deduction in equational logic and cubic curves
By: W. McCune, R. Padmanabhan.
Contributors: Padmanabhan, R. 1938-
Series: Lecture notes in computer science ;; 1095.; Lecture notes in artificial intelligence; Lecture notes in computer science ;; 1095.; Lecture notes in computer science.
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 231
Subjects: Automatic theorem proving; Curves, Algebraic
Notes: Includes bibliographical references (p. [219]-223) and index.