Automatische Synthese rekursiver Programme als Beweisverfahren

著者

書誌事項

Automatische Synthese rekursiver Programme als Beweisverfahren

Susanne Biundo

（Informatik-Fachberichte, 302）

Springer-Verlag, c1992

  • : us
  • : gw

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

この図書・雑誌をさがす

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

詳細情報

  • NII書誌ID(NCID)
    BA21172813
  • ISBN
    • 0387553002
    • 3540553002
  • LCCN
    93201302
  • 出版国コード
    gw
  • タイトル言語コード
    ger
  • 本文言語コード
    ger
  • 出版地
    Berlin ; New York
  • ページ数/冊数
    viii, 259 p.
  • 大きさ
    24 cm
  • 親書誌ID
ページトップへ