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

Tools and techniques in modal logic

種類:
図書
責任表示:
Marcus Kracht
出版情報:
Amsterdam ; Tokyo : Elsevier, 1999
著者名:
Kracht, Marcus <DA11989889>  
シリーズ名:
Studies in logic and the foundations of mathematics ; v. 142 <BA00099329>
ISBN:
9780444500557 [0444500553]  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 図書 Advances in modal logic

Kracht, Marcus

CSLI Publications
7 図書 A short introduction to modal logic

Mint︠s︡, Grigori

Center for the Study of Language and Information, Leland Stanford Junior University
2 図書 Modal logic

Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963-

Cambridge University Press
8 図書 Compilers : principles, techniques, & tools

Aho, Alfred V., 1941-

Pearson/Addison-Wesley
3 図書 Modal logic

Chagrov, Alexander, Zakharyaschev, Michael

Clarendon Press, Oxford University Press
9 図書 Compilers, principles, techniques, and tools

Aho, Alfred V., 1941-, Sethi, Ravi, Ullman, Jeffrey D., 1942-

Addison-Wesley Pub. Co.
4 図書 Handbook of modal logic

Blackburn, Patrick, 1959-, Benthem, J. F. A. K. van, 1949-, Wolter, F. (Frank)

Elsevier
10 図書 Rock mechanics : tools and techniques

Aubertin, Michel, Hassani, F. P., Mitri, Hani, North American Rock Mechanics Symposium

A.A. Balkema
5 図書 First steps in modal logic

Popkorn, Sally

Cambridge University Press
11 図書 Meaning and necessity : a study in semantics and modal logic

Carnap, Rudolf, 1891-1970

University of Chicago Press
6 図書 Advances in modal logic

Zakharyaschev, Michael

Center for the Study of Language and Information
12 図書 Modal logic and process algebra : a bisimulation perspective

Ponse, A. (Alban), 1955-, Rijke, Maarten de, Venema, Yde, 1963-

Center for the Study of Language and Information