Automata, logics, and infinite games
Saved in:
Other Authors: | , , |
---|---|
Format: | Book |
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 |