>> Google Books
Epistemic logic for AI and computer science
フォーマット:
図書
責任表示:
J.-J. Ch. Meyer and W. van der Hoek
言語:
英語
出版情報:
Cambridge ; New York : Cambridge University Press, c1995
形態:
xiii, 354 p. ; 26 cm
著者名:
シリーズ名:
Cambridge tracts in theoretical computer science ; 41 <BA01121831>
書誌ID:
BA26281951
ISBN:
9780521460149 [052146014X] (hardback)  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logic : a foundation for computer science

Sperschneider, V, Antoniou, G. (Grigoris)

Addison-Wesley
7 図書 Logic programming

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

Clarendon Press
2 図書 Temporal logics in computer science : finite-state systems

Demri, Stéphane P., 1967-, Goranko, Valentin, Lange, Martin

Cambridge University Press
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 図書 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
4 図書 Nine algorithms that changed the future : the ingenious ideas that drive today's computers

MacCormick, John, 1972-, Bishop, Chris

Princeton University Press
10 図書 Substructural logics

Schroeder-Heister, Peter Joseph, 1953-, Došen, Kosta

Clarendon Press, Oxford University Press
5 図書 Dynamic epistemic logic

Ditmarsch, Hars van, Hoek, W. van der (Wiebe van der), Kooi, Barteld

Springer
11 図書 Mathematical logic for computer science

Lu, Zhongwan

World Scientific
6 図書 Clausal form logic : an introduction to the logic of computer reasoning

Richards, Tom

Addison-Wesley Pub. Co.
12 図書 Logic for computer science

Reeves, Steve, Clarke, Michael, 1940-

Addison-Wesley