検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA02904422
名称(HDNG)Maibaum, Thomas S. E., 1947-
生没年(DATE)1947-
から見よ(SF)Maibaum, T. S. E.
注記(NOTE)Turski, W. M. Specification of computer programs, c1987: CIP t.p. (Thomas S. E. Maibaum, Imperial Col. of Sci. & Tech.) data sheet (b. 8-18-47)
LCAID85249596
選択行を：
資料名所在
1Background : mathematical structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. -- Clarendon Press, 1992. -- (Handbook of logic in computer science ; v. 1).工情報 007.6:H:1
2Background : computational structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. -- Clarendon Press, 1992. -- (Handbook of logic in computer science ; v. 2).工情報 007.6:H:2
3Semantic modelling / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky. -- Clarendon Press, 1995. -- (Handbook of logic in computer science ; v. 4).工情報 007.6:H:4
4Semantic structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky. -- Clarendon Press, 1994. -- (Handbook of logic in computer science ; v. 3).工情報 007.6:H:3
選択行を
▲ページトップへ