>> 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

類似資料:

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

Springer-Verlag

Fraenkel, Abraham Adolf, 1891-1965

Addison-Wesley Pub. Co

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

Springer-Verlag

Lewis, Harry R., Papadimitriou, Christos H.

Prentice-Hall, Prentice-Hall International

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

Springer-Verlag

Beckman, Frank S.

Addison-Wesley

Pinkava, Václav

Abacus Press

Turner, Raymond, 1947-

E. Horwood

Wang, Hao, 1921-

Chelsea Pub. Co

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

Van Nostrand

Epstein, Richard L., 1947-

Kluwer Academic Publishers

Pták, Pavel, 1947-, Pulmannová, Sylvia, 1939-

Kluwer Academic Publishers

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