Blank Cover Image
このページのQRコード

Handbook of logic in computer science

種類:
図書
出版情報:
Oxford : Clarendon Press, 1992-
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

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

Ben-Ari, M., 1948-

Springer
7 図書 Handbook of theoretical computer science

Leeuwen, Jan van

Elsevier, MIT Press
2 図書 Mathematical logic for computer science

Ben-Ari, M., 1948-

Prentice Hall
8 図書 The computer science and engineering handbook

Tucker, Allen B.

CRC Press
3 図書 MATHEMATICAL LOGIC FOR COMPUTER SCIENCE

ZHONGWAN, LU

WORLD SCIENTIFIC
9 図書 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 …

M. Dekker
4 図書 Mathematical logic for computer science

Lu, Zhongwan

World Scientific
10 図書 Progress in computer science and applied logic

Birkhäuser
5 電子ブック Mathematical Logic for Computer Science

Ben-Ari, Mordechai., SpringerLink (Online service)

Springer London : Imprint: Springer
11 図書 Epistemic logic for AI and computer science

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

Cambridge University Press
6 図書 Computer science handbook

Tucker, Allen B.

Chapman & Hall/CRC
12 図書 MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE

<ED. BY> KUEKER, DAVID W. <ET AL.>

MARCEL DEKKER