Handbook of logic in computer science

著者

書誌事項

Handbook of logic in computer science

Clarendon Press, 1992-

この図書・雑誌をさがす

関連文献： 5件中  1-5を表示

  • Logic and algebraic methods

    edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay

    Clarendon Press , Oxford University Press 2000 Handbook of logic in computer science v. 5

    所蔵館45館

  • 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

    所蔵館56館

  • 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

    所蔵館69館

  • 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

    所蔵館67館

  • 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

    所蔵館69館

詳細情報

  • NII書誌ID(NCID)
    BA19116693
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Oxford
  • ページ数/冊数
    v.
  • 大きさ
    24 cm
ページトップへ