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

Deductive systems and the decidability problem for hybrid logics / Michał Zawidzki

資料種別:
図書
出版情報:
Łódź : Łódź University Press
Kraków : Jagiellonian University Press, c2014
形態:
xiv, 215 p. ; 24 cm
著者名:
Zawidzki Michał  
ISBN:
9788323336952 [8323336954] (: pbk. Jagiellonian University Press)
書誌ID:
BB22248474
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Deductive systems

Manna, Zohar, Waldinger, Richard

Addison-Wesley
7 図書 Deductive reasoning

Manna, Zohar, Waldinger, Richard

Tokyo : Addison-Wesley
2 図書 Logic for problem solving (: pbk)

Kowalski, Robert

Elsevier North Holland
8 図書 Specifying message passing and time-critical systems with temporal logic (: gw ; : us)

Koymans, Ron

Springer-Verlag
3 図書 Introduction to the basic concepts and problems of modern logic

Hasenjaeger, G. (Gisbert), 1919-

D. Reidel Pub. Co
9 図書 Formal systems and recursive functions : proceedings of the eighth Logic Colloquium, Oxford, July 1963

Logic Colloquium, Crossley, John N., 1937-, Dummett, Michael A. E., 1925-

North-Holland
4 図書 Introduction to logic for systems modelling

Pinkava, Václav

Abacus Press
10 図書 Symbolic logic ; and, The game of logic

Carroll, Lewis, 1832-1898

Dover Publications
5 図書 The temporal logic of reactive and concurrent systems ([v. 1], Specification : us ; [v. 1], Specification : gw)

Manna, Zohar, Pnueli, A. (Amir)

Springer-Verlag
11 図書 Computability and logic (: U.K. - : U.S., pbk)

Cohen, Daniel E.

E. Horwood, Halsted Press [distributor]
6 電子ブック Temporal logics in computer science : finite-state systems (: electronic bk)

Demri, Stéphane P., Goranko, Valentin, Lange, Martin
12 図書 Informal logic

Kenelly, John W.

Allyn and Bacon
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12