検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
著者名典拠情報
NCIDDA0188858X
名称(HDNG)Abramsky, Samson, 1953-
生没年(DATE)1953-
から見よ(SF)Abramsky, S
注記(NOTE)Abstract interpretation of declarative languages, 1987: CIP t.p. (Samson Abramsky, B.A.; lecturer, Dept. of Computing, Imperial College of Science and Technology, London) data sheet (b. 3/12/53)
LCAID87933074
選択行を：
資料名所在
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
選択行を
▲ページトップへ