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

Automata logics, and infinite games : a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer, c2002
形態:
viii, 385 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2500 <BA00009279>
著者名:
ISBN:
9783540003885 [3540003886]
書誌ID:
BA60719909
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 電子ブック Automata Logics, and Infinite Games

Erich Grädel, Grädel, Erich, Thomas, Wolfgang, Wilke, Thomas

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
7 図書 Propositional logics

Epstein, Richard L., 1947-

Kluwer Academic Publishers
2 図書 Logic and algebra of specification (: us ; : gw)

Bauer, Friedrich Ludwig, 1924-, Brauer, Wilfried, 1937-, Schwichtenberg, Helmut, 1942-, NATO Advanced Study Institute on …

Springer-Verlag
8 図書 Mathematical foundations of programming

Beckman, Frank S.

Addison-Wesley
3 図書 Iteration theories : the equational logic of iterative processes (: us ; : gw)

Bloom, Stephen L., 1940-, Ésik, Zoltán, 1951-

Springer-Verlag
9 図書 Elements of the theory of computation (: UK)

Lewis, Harry R., Papadimitriou, Christos H.

Prentice-Hall, Prentice-Hall International
4 図書 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings (: gw ; : us)

Workshop on Computer Science Logic, Börger, Egon, 1946-, Richter, Michael M., 1938-, Kleine Büning, Hans, 1948-

Springer-Verlag
10 図書 Set theory and logic

Fraenkel, Abraham Adolf, 1891-1965

Addison-Wesley Pub. Co
5 図書 Introduction to logic for systems modelling

Pinkava, Václav

Abacus Press
11 図書 Logics for artificial intelligence

Turner, Raymond, 1947-

E. Horwood
6 図書 Logic, computers, and sets

Wang, Hao, 1921-

Chelsea Pub. Co
12 図書 Mathematics and logic for digital devices

Culbertson, James T. (James Thomas), 1911-

Van Nostrand
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12