close
1.

図書
図書
1. 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…
2.

図書
図書
2. 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…
3.

図書
図書
3. Algorithms and complexity (: Elsevier ; : MIT Press)
edited by Jan van Leeuwen
出版情報: Amsterdam ; Tokyo : Elsevier , Cambridge, Mass. : MIT Press, 1990
シリーズ名: Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. A
所蔵情報: loading…
4.

図書
図書
4. Formal models and semantics (: Elsevier ; : MIT Press)
edited by Jan van Leeuwen
出版情報: Amsterdam ; Tokyo : Elsevier , Cambridge, Mass. : MIT Press, 1990
シリーズ名: Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. B
所蔵情報: loading…