Automated deduction in equational logic and cubic curves

Web Site CiNii Available at 54 libraries

Bibliographic Information

Title
"Automated deduction in equational logic and cubic curves"
Statement of Responsibility
W. McCune, R. Padmanabhan
Publisher
  • Springer
Publication Year
  • c1996
Book size
24 cm

Search this Book/Journal

Notes

Includes bibliographical references (p. [219]-223) and index

Related Books

See more

Details 詳細情報について

Back to top