Temporal Logic | 金沢大学附属図書館 OPAC plus

>> Google Books

Temporal Logic

フォーマット:

電子ブック

責任表示:

Gabbay ; Gabbay, Dov M. ; Ohlbach, Hans Jürgen

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1994

著者名:

ISBN:

9783540582410 [354058241X]

9783540485858 [3540485856]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

Loading availability information

タイトル・著者・出版者が同じ資料

詳細

刊行状態:	Unknown status
分類・件名:	LCC : 1000000000234144
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Practical Reasoning International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., Ohlbach, Hans Jürgen Springer Berlin Heidelberg	7 図書 Handbook of the history of logic Gabbay, Dov M., 1945-, Woods, John Elsevier
2 電子ブック Advances in Temporal Logic Howard Barringer, Fisher, Michael, Gabbay, Dov M., Gough, Graham Springer Netherlands	8 電子ブック Logic, Language and Computation Gabbay, Dov M.; Barwise, Jon; Akama, Seiki Springer Netherlands
3 図書 A new perspective on nonmonotonic logics Gabbay, Dov M., Schlechta, Karl Springer	9 電子ブック Proof Theory of Modal Logic Gabbay, Dov M.; Barwise, Jon; Wansing, Heinrich Springer Netherlands
4 電子ブック Conditionals and Modularity in General Logics Gabbay, Dov M., Schlechta, Karl Springer Berlin Heidelberg	10 図書 The many valued and nonmonotonic turn in logic Gabbay, Dov M., 1945-, Woods, John North-Holland
5 図書 Logic and the modalities in the twentieth century Gabbay, Dov M., 1945-, Woods, John Elsevier	11 電子ブック Proof Theory for Fuzzy Logics Metcalfe, George, Barwise, Jon, Gabbay, Dov M., Olivetti, Nicola Springer Netherlands
6 図書 Handbook of philosophical logic Gabbay, Dov M., 1945-, Guenthner, Franz Kluwer Academic	12 電子ブック Intellectics and Computational Logic Gabbay, Dov M.; Barwise, John; Hölldobler, Steffen, Hölldobler, Steffen Springer Netherlands