Automated reasoning : essays in honor of Woody Bledsoe

Author(s)

• Bledsoe, W. W.
• Boyer, Robert S.

Bibliographic Information

Automated reasoning : essays in honor of Woody Bledsoe

edited by Robert S. Boyer

（Automated reasoning series, v. 1）

Kluwer Academic Publishers Group, c1991

Note

Includes index

Details

• NCID: BA13266831
• ISBN:
  • 0792314093
• LCCN: 91031377
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; Boston
• Pages/Volumes: xi, 365 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.A96
  • DC20 : 006.3
• Subject Headings:
  • LCSH : Automatic theorem proving
  • LCSH : Artificial intelligence
• Parent Bibliography ID:
  • BA13266944