1.

図書
図書
1. Logic and algebraic methods
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 2000
シリーズ名: Handbook of logic in computer science ; v. 5
所蔵情報: loading…
2.

図書
図書
2. Semantic modelling
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
出版情報: Oxford : Clarendon Press, 1995
シリーズ名: Handbook of logic in computer science ; v. 4
所蔵情報: loading…
3.

図書
図書
3. Semantic structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, S. Abramsky
出版情報: Oxford : Clarendon Press, 1994
シリーズ名: Handbook of logic in computer science ; v. 3
所蔵情報: loading…
4.

図書
図書
4. Background : computational structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 2
所蔵情報: loading…
5.

図書
図書
5. Background : mathematical structures
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
出版情報: Oxford : Clarendon Press, 1992
シリーズ名: Handbook of logic in computer science ; v. 1
所蔵情報: loading…
6.

図書
図書
6. Abstract interpretation of declarative languages (: Horwood ; : Halsted)
editors, Samson Abramsky and Chris Hankin
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Halsted Press, 1987
シリーズ名: Ellis Horwood books in computing science ; . Series in computers and their applications
所蔵情報: loading…