このページのリンク

利用統計

  • このページへのアクセス:268回

  • 貸出数:9回
    (1年以内の貸出数:0回)

<図書>
Background : mathematical structures

責任表示 edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
シリーズ Handbook of logic in computer science ; v. 1
データ種別 図書
出版者 Oxford : Clarendon Press
出版年 1992
本文言語 英語
大きさ xii, 827 p. : ill. ; 24 cm
目次 v. 1. Background, mathematical structure
v. 2. Background, computational structure
v. 3. Semantic structures
v. 4. Semantic modelling
v. 5. Logic and algebraic methods.

所蔵情報


中央図 4A 003212001003331 007.63/A 14/1 1999

中央図 2A 068582194002464 007.6/H 29/(1) 1992

理系図3F 数理独自 068222195011508 ABRA/48/1-1 1992

筑紫図 自動書庫(閉架) 068622195000403 007.63 1992

シ情 情報知能[BF] 026212002000081 007.63/A 14 1992

書誌詳細

一般注記 Includes bibliographical references and index
著者標目 Abramsky, Samson, 1953-
Gabbay, Dov M., 1945-
Maibaum, Thomas S. E., 1947-
件 名 LCSH:Computer science
LCSH:Logic, Symbolic and mathematical
分 類 LCC:QA76
DC20:004
書誌ID 1000028463
ISBN 0198537352
NCID BA19116933
巻冊次 ISBN:0198537352
登録日 2009.09.10
更新日 2009.09.17

類似資料

この資料を見た人はこんな資料も見ています

この資料を借りた人はこんな資料も借りています