Coverart for item
The Resource Automata logics, and infinite games : a guide to current research, Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.), (electronic book)

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

Label
Automata logics, and infinite games : a guide to current research
Title
Automata logics, and infinite games
Title remainder
a guide to current research
Statement of responsibility
Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)
Contributor
Subject
Language
eng
Member of
Cataloging source
HNK
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
  • 1958-
  • 1947-
  • 1965-
http://library.link/vocab/relatedWorkOrContributorName
  • Grädel, Erich
  • Thomas, Wolfgang
  • Wilke, Thomas
Series statement
Lecture notes in computer science
Series volume
2500
http://library.link/vocab/subjectName
  • Computer science
  • Machine theory
  • Logic, Symbolic and mathematical
  • Game theory
Label
Automata logics, and infinite games : a guide to current research, Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.), (electronic book)
Instantiates
Publication
Note
Includes indexes
Control code
SPR51202793
Extent
viii, 385 p.
Form of item
electronic
Isbn
9783540003885
Other physical details
ill.
Reproduction note
Electronic resource.
Specific material designation
remote
Label
Automata logics, and infinite games : a guide to current research, Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.), (electronic book)
Publication
Note
Includes indexes
Control code
SPR51202793
Extent
viii, 385 p.
Form of item
electronic
Isbn
9783540003885
Other physical details
ill.
Reproduction note
Electronic resource.
Specific material designation
remote

Library Locations

Processing Feedback ...