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

The logic of partial information

種類:
図書
責任表示:
Areski Nait Abdallah
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1995
著者名:
Nait Abdallah, Areski, 1950- <DA0923698X>  
シリーズ名:
Monographs in theoretical computer science : an EATCS series <BA25559724>
ISBN:
9783540565833 [3540565833] (: Berlin)  CiNii Books  Calil
9780387565835 [0387565833] (: New York)  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic of domains

Zhang, Guo-Qiang, 1960-

Birkhäuser
7 図書 Quantum probability--quantum logic

Pitowsky, Itamar, 1950-

Springer-Verlag
2 図書 Logic and visual information

Hammer, Eric M., 1967-

CSLI Publications, FoLLI
8 図書 Mathematical logic and theoretical computer science

Kueker, D. W., 1943-, Lopez-Escobar, E. G. K. (Edgar G. K.), 1937-, Smith, Carl, 1950-, University of Maryland, College &hellip;

M. Dekker
3 図書 The logic of information structures

Wansing, Heinrich

Springer-Verlag
9 図書 Foundations of logic programming

Lloyd, J. W. (John Wylie), 1947-

Springer-Verlag
4 図書 Logic for information technology

Galton, Antony

Wiley
10 図書 Axiomatising the logic of computer programming

Goldblatt, Robert, 1949-

Springer-Verlag
5 図書 Logic and algorithms : with applications to the computer and information sciences

Korfhage, Robert R.

Wiley
11 図書 Axiomatic domain theory in categories of partial maps

Fiore, Marcelo P.

Cambridge University Press
6 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
12 図書 Semantics of parallelism : non-interleaving representation of behaviour

Shields, M. W. (Michael William), 1950-

Springer