Semantic structures

>> Google Books

QRコード(所蔵情報)

Semantic structures

フォーマット:

図書

責任表示:

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

言語:

英語

出版情報:

Oxford : Clarendon Press, 1994

形態:

xiii, 490 p. ; 24 cm

著者名:

シリーズ名:

Handbook of logic in computer science ; v. 3 <BA19116693>

書誌ID:

BA2490965X

ISBN:

9780198537625 [019853762X]

子書誌情報

所蔵情報

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

詳細

主題:	情報理論
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック TAPSOFT '91 International Joint Conference on Theory and Practice of Software Development, Abramsky, Samson, Maibaum, Thomas S. E. Springer Berlin Heidelberg	7 図書 Shape, structure and pattern recognition : Nahariya, Israel, 4-6 October 1994 Dori, Dov, Bruckstein, Alfred Marcel World Scientific
2 電子ブック TAPSOFT '91 International Joint Conference on Theory and Practice of Software Development, Abramsky, Samson, Maibaum, Thomas S. E. Springer Berlin Heidelberg	8 図書 Dynamic syntax : the flow of language understanding Kempson, Ruth M., Meyer-Viol, Wilfried, Gabbay, Dov M., 1945- Blackwell Publishers
3 図書 Logic and the modalities in the twentieth century Gabbay, Dov M., 1945-, Woods, John Elsevier	9 電子ブック Temporal Logic Gabbay, Gabbay, Dov M., Ohlbach, Hans Jürgen Springer Berlin Heidelberg
4 図書 The many valued and nonmonotonic turn in logic Gabbay, Dov M., 1945-, Woods, John North-Holland	10 図書 A new perspective on nonmonotonic logics Gabbay, Dov M., Schlechta, Karl Springer
5 図書 Handbook of philosophical logic Gabbay, Dov M., 1945-, Guenthner, Franz Kluwer Academic	11 電子ブック Conditionals and Modularity in General Logics Gabbay, Dov M., Schlechta, Karl Springer Berlin Heidelberg
6 図書 Handbook of the history of logic Gabbay, Dov M., 1945-, Woods, John Elsevier	12 電子ブック Neural-Symbolic Cognitive Reasoning Gabbay, Dov M., Siekmann, Jörg Springer Berlin Heidelberg