>> Google Books
所蔵情報QRコード

The logic of information structures / Heinrich Wansing

資料種別:
図書
出版情報:
Berlin ; New York : Springer-Verlag, c1993
形態:
ix, 163 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 681 . Lecture notes in artificial intelligence <BA00009279>
著者名:
Wansing, Heinrich <DA06625748>  
ISBN:
9780387567341 [0387567348] (: us)
9783540567349 [3540567348] (: gw)
書誌ID:
BA20586628
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック The Logic of Information Structures

Wansing, Heinrich

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 電子ブック Nonclassical Logics and Information Processing

Pearce, Pearce, David A., Wansing, Heinrich

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
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 (uk. ; us.)

Etherington, David W.

Pitman, M. Kaufmann Publishers
3 図書 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
9 図書 Logic and structure (: gw ; : us)

Dalen, D. van (Dirk), 1932-

Springer-Verlag
4 図書 Logics for artificial intelligence

Turner, Raymond, 1947-

E. Horwood
10 図書 Logic and structure (: gw ; : us)

Dalen, D. van (Dirk), 1932-

Springer-Verlag
5 図書 Symbolic logic and intelligent machines

Berkeley, Edmund Callis

Reinhold
11 図書 Logic and structure (: us:pbk. ; : gw)

Dalen, D. van (Dirk), 1932-

Springer-Verlag
6 図書 Symbolic logic and mechanical theorem proving

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-

Academic Press
12 図書 Logic and structure (: pbk)

Dalen, D. van (Dirk), 1932-

Springer
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12