Action semantics
Peter D. Mosses
(Cambridge tracts in theoretical computer science, 26)
Cambridge University Press, c1992
BA20432850
会津大学 情報センター (附属図書館) 図
QA76.7.M68
大阪大学 附属図書館 総合図書館 12600009174 OPAC 大阪大学 附属図書館 理工学図書館 12600009174 OPAC 大阪電気通信大学 図書館 /007.64/240205 OPAC 岡山大学 附属図書館 自知能 007.6||MH019000017109* OPAC 金沢大学 附属図書館 自然図自動書庫 007.6:M9130300-52718-7 OPAC 九州大学 理系図書館 007.64/Mo 81068252192007727 OPAC 京都大学 数理解析研究所 図書室 数研 MOS||15||192037056 OPAC 京都大学 大学院 情報学研究科 I,1992||2.3||15592041107 OPAC 公立はこだて未来大学 情報ライブラリー 007.64||Mo0000409364 国立情報学研究所 100128764 OPAC 静岡大学 附属図書館 浜松分館 浜図 007.64/MO818593000436 OPAC 島根大学 附属図書館 v. 262035622 OPAC 筑波大学 附属図書館 中央図書館 007.64-Mo81927031942//923031959 東京大学 工学部・工学系研究科 物計 85:M:721010419677 OPAC 東京大学 大学院情報理工学系研究科 CS図 24:M:42012419111 OPAC 東京電機大学 総合メディアセンター 千葉センター 549.9/MO-818000001144 OPAC 東北大学 附属図書館 本館 06920006058 OPAC 名古屋工業大学 図書館 549.92||Mo 812161020 OPAC 名古屋大学 工学 図書室 工電気情報 007.64||M41067794 奈良先端科学技術大学院大学 附属図書館 図 BD10||36||269117802 OPAC 新潟工科大学 附属図書館 007.64/Mo 81000039760 新潟国際情報大学 情報センター 007.64/Mo8120008768 OPAC 新潟大学 附属図書館 図 007//Mo811300641736 OPAC 弘前大学 附属図書館 本館 007h0103939* OPAC 広島大学 図書館 中央図書館 007.64:Mo-81/HL1030001000404013 北陸先端科学技術大学院大学 附属図書館 図 C23.1|| M ||6920635 OPAC 三重大学 附属図書館 007.64/Mo 8169303877 OPAC 横浜国立大学 附属図書館 理工 007//MOH0437195* OPAC 立命館大学 図書館 7310031726 OPAC 龍谷大学 瀬田図書館 図 30200103552 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Bibliography: p. 350-356 Includes index 関連文献: 1件中 1-1を表示 1 Cambridge tracts in theoretical computer science Cambridge University Press Tweet 詳細情報 NII書誌ID(NCID)BA18235482 ISBN0521403472 出版国コードuk タイトル言語コードeng 本文言語コードeng 出版地Cambridge ページ数/冊数xx, 372 p. 大きさ26 cm 分類 DC20 : 005.13 親書誌IDBA01121831 書き出し RefWorksに書き出し EndNoteに書き出し Mendeleyに書き出し Refer/BibIXで表示 RISで表示 BibTeXで表示 TSVで表示 ISBDで表示 ページトップへ AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
大阪大学 附属図書館 総合図書館
12600009174
OPAC
大阪大学 附属図書館 理工学図書館
大阪電気通信大学 図書館
/007.64/240205
岡山大学 附属図書館 自知能
007.6||MH019000017109*
金沢大学 附属図書館 自然図自動書庫
007.6:M9130300-52718-7
九州大学 理系図書館
007.64/Mo 81068252192007727
京都大学 数理解析研究所 図書室 数研
MOS||15||192037056
京都大学 大学院 情報学研究科
I,1992||2.3||15592041107
公立はこだて未来大学 情報ライブラリー
007.64||Mo0000409364
国立情報学研究所 100128764 OPAC 静岡大学 附属図書館 浜松分館 浜図 007.64/MO818593000436 OPAC 島根大学 附属図書館 v. 262035622 OPAC 筑波大学 附属図書館 中央図書館 007.64-Mo81927031942//923031959 東京大学 工学部・工学系研究科 物計 85:M:721010419677 OPAC 東京大学 大学院情報理工学系研究科 CS図 24:M:42012419111 OPAC 東京電機大学 総合メディアセンター 千葉センター 549.9/MO-818000001144 OPAC 東北大学 附属図書館 本館 06920006058 OPAC 名古屋工業大学 図書館 549.92||Mo 812161020 OPAC 名古屋大学 工学 図書室 工電気情報 007.64||M41067794 奈良先端科学技術大学院大学 附属図書館 図 BD10||36||269117802 OPAC 新潟工科大学 附属図書館 007.64/Mo 81000039760 新潟国際情報大学 情報センター 007.64/Mo8120008768 OPAC 新潟大学 附属図書館 図 007//Mo811300641736 OPAC 弘前大学 附属図書館 本館 007h0103939* OPAC 広島大学 図書館 中央図書館 007.64:Mo-81/HL1030001000404013 北陸先端科学技術大学院大学 附属図書館 図 C23.1|| M ||6920635 OPAC 三重大学 附属図書館 007.64/Mo 8169303877 OPAC 横浜国立大学 附属図書館 理工 007//MOH0437195* OPAC 立命館大学 図書館 7310031726 OPAC 龍谷大学 瀬田図書館 図 30200103552 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Bibliography: p. 350-356 Includes index 関連文献: 1件中 1-1を表示 1 Cambridge tracts in theoretical computer science Cambridge University Press Tweet 詳細情報 NII書誌ID(NCID)BA18235482 ISBN0521403472 出版国コードuk タイトル言語コードeng 本文言語コードeng 出版地Cambridge ページ数/冊数xx, 372 p. 大きさ26 cm 分類 DC20 : 005.13 親書誌IDBA01121831 書き出し RefWorksに書き出し EndNoteに書き出し Mendeleyに書き出し Refer/BibIXで表示 RISで表示 BibTeXで表示 TSVで表示 ISBDで表示 ページトップへ AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
国立情報学研究所
100128764
静岡大学 附属図書館 浜松分館 浜図
007.64/MO818593000436
島根大学 附属図書館
v. 262035622
筑波大学 附属図書館 中央図書館
007.64-Mo81927031942//923031959
東京大学 工学部・工学系研究科 物計 85:M:721010419677 OPAC 東京大学 大学院情報理工学系研究科 CS図 24:M:42012419111 OPAC 東京電機大学 総合メディアセンター 千葉センター 549.9/MO-818000001144 OPAC 東北大学 附属図書館 本館 06920006058 OPAC 名古屋工業大学 図書館 549.92||Mo 812161020 OPAC 名古屋大学 工学 図書室 工電気情報 007.64||M41067794 奈良先端科学技術大学院大学 附属図書館 図 BD10||36||269117802 OPAC 新潟工科大学 附属図書館 007.64/Mo 81000039760 新潟国際情報大学 情報センター 007.64/Mo8120008768 OPAC 新潟大学 附属図書館 図 007//Mo811300641736 OPAC 弘前大学 附属図書館 本館 007h0103939* OPAC 広島大学 図書館 中央図書館 007.64:Mo-81/HL1030001000404013 北陸先端科学技術大学院大学 附属図書館 図 C23.1|| M ||6920635 OPAC 三重大学 附属図書館 007.64/Mo 8169303877 OPAC 横浜国立大学 附属図書館 理工 007//MOH0437195* OPAC 立命館大学 図書館 7310031726 OPAC 龍谷大学 瀬田図書館 図 30200103552 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Bibliography: p. 350-356 Includes index 関連文献: 1件中 1-1を表示 1 Cambridge tracts in theoretical computer science Cambridge University Press Tweet 詳細情報 NII書誌ID(NCID)BA18235482 ISBN0521403472 出版国コードuk タイトル言語コードeng 本文言語コードeng 出版地Cambridge ページ数/冊数xx, 372 p. 大きさ26 cm 分類 DC20 : 005.13 親書誌IDBA01121831 書き出し RefWorksに書き出し EndNoteに書き出し Mendeleyに書き出し Refer/BibIXで表示 RISで表示 BibTeXで表示 TSVで表示 ISBDで表示 ページトップへ AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
東京大学 工学部・工学系研究科 物計
85:M:721010419677
東京大学 大学院情報理工学系研究科 CS図
24:M:42012419111
東京電機大学 総合メディアセンター 千葉センター
549.9/MO-818000001144
東北大学 附属図書館 本館
06920006058
名古屋工業大学 図書館
549.92||Mo 812161020
名古屋大学 工学 図書室 工電気情報
007.64||M41067794
奈良先端科学技術大学院大学 附属図書館 図 BD10||36||269117802 OPAC 新潟工科大学 附属図書館 007.64/Mo 81000039760 新潟国際情報大学 情報センター 007.64/Mo8120008768 OPAC 新潟大学 附属図書館 図 007//Mo811300641736 OPAC 弘前大学 附属図書館 本館 007h0103939* OPAC 広島大学 図書館 中央図書館 007.64:Mo-81/HL1030001000404013 北陸先端科学技術大学院大学 附属図書館 図 C23.1|| M ||6920635 OPAC 三重大学 附属図書館 007.64/Mo 8169303877 OPAC 横浜国立大学 附属図書館 理工 007//MOH0437195* OPAC 立命館大学 図書館 7310031726 OPAC 龍谷大学 瀬田図書館 図 30200103552 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Bibliography: p. 350-356 Includes index 関連文献: 1件中 1-1を表示 1 Cambridge tracts in theoretical computer science Cambridge University Press Tweet 詳細情報 NII書誌ID(NCID)BA18235482 ISBN0521403472 出版国コードuk タイトル言語コードeng 本文言語コードeng 出版地Cambridge ページ数/冊数xx, 372 p. 大きさ26 cm 分類 DC20 : 005.13 親書誌IDBA01121831 書き出し RefWorksに書き出し EndNoteに書き出し Mendeleyに書き出し Refer/BibIXで表示 RISで表示 BibTeXで表示 TSVで表示 ISBDで表示 ページトップへ
奈良先端科学技術大学院大学 附属図書館 図
BD10||36||269117802
新潟工科大学 附属図書館
007.64/Mo 81000039760
新潟国際情報大学 情報センター 007.64/Mo8120008768 OPAC 新潟大学 附属図書館 図 007//Mo811300641736 OPAC 弘前大学 附属図書館 本館 007h0103939* OPAC 広島大学 図書館 中央図書館 007.64:Mo-81/HL1030001000404013 北陸先端科学技術大学院大学 附属図書館 図 C23.1|| M ||6920635 OPAC 三重大学 附属図書館 007.64/Mo 8169303877 OPAC 横浜国立大学 附属図書館 理工 007//MOH0437195* OPAC 立命館大学 図書館 7310031726 OPAC 龍谷大学 瀬田図書館 図 30200103552 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Bibliography: p. 350-356 Includes index 関連文献: 1件中 1-1を表示 1 Cambridge tracts in theoretical computer science Cambridge University Press Tweet 詳細情報 NII書誌ID(NCID)BA18235482 ISBN0521403472 出版国コードuk タイトル言語コードeng 本文言語コードeng 出版地Cambridge ページ数/冊数xx, 372 p. 大きさ26 cm 分類 DC20 : 005.13 親書誌IDBA01121831 書き出し RefWorksに書き出し EndNoteに書き出し Mendeleyに書き出し Refer/BibIXで表示 RISで表示 BibTeXで表示 TSVで表示 ISBDで表示 ページトップへ
新潟国際情報大学 情報センター
007.64/Mo8120008768
新潟大学 附属図書館 図
007//Mo811300641736
弘前大学 附属図書館 本館
007h0103939*
広島大学 図書館 中央図書館
007.64:Mo-81/HL1030001000404013
北陸先端科学技術大学院大学 附属図書館 図 C23.1|| M ||6920635 OPAC 三重大学 附属図書館 007.64/Mo 8169303877 OPAC 横浜国立大学 附属図書館 理工 007//MOH0437195* OPAC 立命館大学 図書館 7310031726 OPAC 龍谷大学 瀬田図書館 図 30200103552 該当する所蔵館はありません すべての絞り込み条件を解除する この図書・雑誌をさがす カーリル WorldCat 注記 Bibliography: p. 350-356 Includes index 関連文献: 1件中 1-1を表示 1 Cambridge tracts in theoretical computer science Cambridge University Press
北陸先端科学技術大学院大学 附属図書館 図
C23.1|| M ||6920635
三重大学 附属図書館
007.64/Mo 8169303877
横浜国立大学 附属図書館 理工
007//MOH0437195*
立命館大学 図書館
7310031726
龍谷大学 瀬田図書館 図
30200103552
該当する所蔵館はありません すべての絞り込み条件を解除する
Bibliography: p. 350-356
Includes index
Cambridge University Press
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル