書誌事項

A computational logic

Robert S. Boyer and J. Strother Moore

(ACM monograph series)

Academic Press, c1979

大学図書館所蔵 件 / 49

この図書・雑誌をさがす

注記

Bibliography: p. 385-387

Includes index

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

詳細情報

  • NII書誌ID(NCID)
    BA03091640
  • ISBN
    • 0121229505
  • LCCN
    79051693
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    New York
  • ページ数/冊数
    xiv, 397 p.
  • 大きさ
    24 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ