First-order dynamic logic
著者
書誌事項
First-order dynamic logic
（Lecture notes in computer science, 68）
Springer-Verlag, 1979
- : gw
- : us
大学図書館所蔵 件 / 全64件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Rev. version of the author's thesis, M.I.T., 1978
Bibliography: p. [127]-133
Includes index
