Automated model building

書誌事項

Automated model building

by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier

(Applied logic series, 31)

Kluwer, c2004

大学図書館所蔵 件 / 3

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 327-341) and indexes

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

詳細情報

  • NII書誌ID(NCID)
    BA72024471
  • ISBN
    • 1402026528
  • 出版国コード
    ne
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Dordrecht
  • ページ数/冊数
    xi, 341p.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ