Automated reasoning : essays in honor of Woody Bledsoe

著者

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

書誌事項

Automated reasoning : essays in honor of Woody Bledsoe

edited by Robert S. Boyer

（Automated reasoning series, v. 1）

Kluwer Academic Publishers Group, c1991

注記

Includes index

詳細情報

• NII書誌ID(NCID): BA13266831
• ISBN:
  • 0792314093
• LCCN: 91031377
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; Boston
• ページ数/冊数: xi, 365 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.A96
  • DC20 : 006.3
• 件名:
  • LCSH : Automatic theorem proving
  • LCSH : Artificial intelligence
• 親書誌ID:
  • BA13266944