関連資料一覧:(本学所蔵)
検索条件
シリーズ名:Handbook of logic in computer science
選択行を:
| 資料名 | 所在 |
1 | Semantic 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 |
2 | Semantic 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 |
3 | Background : 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 |
4 | Background : 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 |
選択行を:
|