書誌事項

Many-sorted logic and its applications

edited by K. Meinke and J.V. Tucker

(Wiley professional computing)

Wiley, c1993

この図書・雑誌をさがす
関連文献: 1件中  1-1を表示
詳細情報
  • NII書誌ID(NCID)
    BA19413699
  • ISBN
    • 0471934852
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Chichester ; New York
  • ページ数/冊数
    xvii, 397 p.
  • 大きさ
    24 cm
  • 分類
  • 親書誌ID
ページトップへ