>> Amazon.co.jp
このページのQRコード

The logic of information structures

種類:
図書
責任表示:
Heinrich Wansing
出版情報:
Berlin ; New York : Springer-Verlag, c1993
著者名:
Wansing, Heinrich <DA06625748>  
シリーズ名:
Lecture notes in computer science ; 681 . Lecture notes in artificial intelligence <BA00009279>
ISBN:
9780387567341 [0387567348] (: us)  CiNii Books  Calil
9783540567349 [3540567348] (: gw)  CiNii Books  Calil
注記:
Revision of the author's doctoral thesis (Fachbereich Philosophie und Sozialwissenschaften I of the Free University of Berlin)
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料
1. The Logic of Information Structures
by Heinrich Wansing , Springer-Verlag , 1993

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Epistemic logic for AI and computer science

Meyer, John-Jules, Hoek, W. van der

Cambridge University Press
7 図書 Propositional logic : deduction and algorithms

Kleine Büning, Hans, 1948-, Lettman, Teodor

Cambridge University Press
2 図書 Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht

Ehrenfeucht, Andrzej, Mycielski, Jan, 1932-, Rozenberg, Grzegorz, Salomaa, Arto, 1934-

Springer
8 図書 Reasoning with incomplete information

Etherington, David W.

Pitman, M. Kaufmann Publishers
3 図書 Background : computational structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
9 電子ブック The Logic of Information Structures

Wansing, Heinrich, SpringerLink (Online service)

Springer-Verlag
4 図書 Background : mathematical structures

Abramsky, Samson, 1953-, Gabbay, Dov M., 1945-, Maibaum, Thomas S. E., 1947-

Clarendon Press
10 電子ブック The Logic of Information Structures

Wansing, Heinrich., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 図書 Clausal form logic : an introduction to the logic of computer reasoning

Richards, Tom

Addison-Wesley Pub. Co.
11 図書 Belief revision

Gärdenfors, Peter

Cambridge University Press
6 図書 Handbook of logic in artificial intelligence and logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
12 図書 Logic and visual information

Hammer, Eric M., 1967-

CSLI Publications, FoLLI