bokomslag Logic and Automata
Vetenskap & teknik

Logic and Automata

Erich Grädel Jörg Flum Thomas Wilke

Pocket

1059:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 2007
Mathematical logic and automata theory are two scientific disciplines with a fundamentally close relationship. The authors of Logic and Automata take the occasion of the sixtieth birthday of Wolfgang Thomas to present a tour d'horizon of automata theory and logic. The twenty papers in this volume cover many different facets of logic and automata theory, emphasizing the connections to other disciplines such as games, algorithms, and semigroup theory, as well as discussing current challenges in the field.
  • Författare: Erich Grädel, Jörg Flum, Thomas Wilke
  • Format: Pocket/Paperback
  • ISBN: 9789053565766
  • Språk: Engelska
  • Utgivningsdatum: 2007-11-29
  • Förlag: Amsterdam University Press