Automata, logics, and infinite games

Saved in:
Bibliographic Details
Other Authors: Gr?adel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965-
Format: Unknown
Published: Berlin New York Springer 2002
Series:Lecture notes in computer science ; 2500
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-305813
020 # # |a 3540003886 (alk. paper) 
090 0 0 |a QA76.9.M35  |b A85 2002 
245 1 1 |a Automata, logics, and infinite games  |c Erich Gr?adel, Wolfgang Thomas, Thomas Wilke (eds.) 
260 # # |a Berlin  |a New York  |b Springer  |c 2002 
300 # # |a viii, 385 p.  |b ill.  |c 24 cm 
490 1 # |a Lecture notes in computer science ;  |v 2500 
504 # # |a Includes bibliographical references (p. [365]-376) and index 
650 # 0 |a Computer science  |x Mathematics 
650 # 0 |a Logic, Symbolic and mathematical 
650 # 0 |a Machine theory 
650 # 0 |a Game theory 
700 1 # |a Gr?adel, Erich  |c 1958- 
700 # # |a Thomas, Wolfgang  |c 1947- 
700 # # |a Wilke, Thomas  |c 1965- 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=305813 
964 # # |c BOK  |d 01 
040 # # |a Shah Alam 
998 # # |a 00260##a002.8.2||00260##a002.8.2||00260##b002.8.4||00260##c002.7.6||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1||01700##a0011.2.2||01700##c0017.8||02700##a0011.2.2||02700##c0017.8||