A computational logic

Author(s)

• Boyer, Robert S.
• Moore, J. Strother

Bibliographic Information

A computational logic

Robert S. Boyer and J. Strother Moore

（ACM monograph series）

Academic Press, c1979

Note

Bibliography: p. 385-387

Includes index

Details

• NCID: BA03091640
• ISBN:
  • 0121229505
• LCCN: 79051693
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xiv, 397 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.A96
  • DC : 519.4
• Subject Headings:
  • LCSH : Automatic theorem proving
• Parent Bibliography ID:
  • BA00109706