First-order dynamic logic
著者
書誌事項
First-order dynamic logic
(Lecture notes in computer science, 68)
Springer-Verlag, 1979
- : gw
- : us
大学図書館所蔵 全65件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Rev. version of the author's thesis, M.I.T., 1978
Bibliography: p. [127]-133
Includes index
内容説明・目次
目次
I: Binary-relation semantics.- II: Computation-tree semantics.
「Nielsen BookData」 より