Automated development of fundamental mathematical theories

Author(s)

• Quaife, Art

Bibliographic Information

Automated development of fundamental mathematical theories

by Art Quaife

（Automated reasoning series, v. 2）

Kluwer Academic, c1992

Note

Includes bibliographical references (p. [259]-265) and indexes

Details

• NCID: BA19763872
• ISBN:
  • 0792320212
• LCCN: 92034849
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; Boston
• Pages/Volumes: xviii, 271 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.A96
  • DC20 : 511.3
• Subject Headings:
  • LCSH : Automatic theorem proving
  • LCSH : Artificial intelligence
• Parent Bibliography ID:
  • BA13266944