Applying automated reasoning to puzzles, problems, and open questions

著者

書誌事項

Applying automated reasoning to puzzles, problems, and open questions

Larry Wos, Gail W. Pieper

（The collected works of Larry Wos / Larry Wos, Gail W. Pieper, vol. 2）

World Scientific, c2000

大学図書館所蔵 件 / 全3件

この図書・雑誌をさがす

関連文献： 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA46013194
  • ISBN
    • 9810249985
  • 出版国コード
    si
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Singapore
  • ページ数/冊数
    xvii, p. [829]830 - 1639
  • 大きさ
    23 cm.
  • 親書誌ID
ページトップへ