close
1.

電子ブック
ＥＢ
1. Instruction Sequences for Computer Science
by Jan A. Bergstra, Cornelis A. Middelburg
出版情報: Paris : Atlantis Press, 2012
シリーズ名: Atlantis Studies in Computing ; 2
オンライン: http://dx.doi.org/10.2991/978-94-91216-65-7
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logics in Computer Science : A Study on Extensions of Temporal and Strategic Logics
by Fabio Mogavero
出版情報: Paris : Atlantis Press : Imprint: Atlantis Press, 2013
シリーズ名: Atlantis Studies in Computing ; 3
オンライン: http://dx.doi.org/10.2991/978-94-91216-95-4
所蔵情報: loading…
目次情報: 続きを見る
Graded Computation Tree Logic
Minimal Model Quantifiers
Reasoning About Strategies
Relentful Strategic Reasoning
Appendix A Mathematical Notation
Graded Computation Tree Logic
Minimal Model Quantifiers
Reasoning About Strategies