Automata for Branching and Layered Temporal Structures Gabriele Puppis
53,49 €
Titel: Automata for Branching and Layered Temporal Structures, Untertitel: An Investigation into Regularities of Infinite Transition Systems, Einband: Taschenbuch, Autor: Gabriele Puppis, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 216, Maße: 235x155x12 mm, Gewicht: 335 g, Verkäufer: buch-mimpf, Schlagworte: Algorithmus Informatik Artificial Intelligence Bisimulation Cognition Finite-state machines algorithms automata languages automata theory complexity decidability determininistic trees efficient algorithms higher order logic infinite systems logic.
Jetzt bei Ebay:
