Fields of Logic and Computation II Lev D. Beklemishev
Titel: Fields of Logic and Computation II, Untertitel: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, Einband: Taschenbuch, Autor: Lev D. Beklemishev, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 332, Maße: 235x155x19 mm, Gewicht: 505 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Finite model theory Horn Clauses Inductive logic Kolmogorov complexity Monadic Second Order Logic algorithmic theory of randomness computability descriptive complexity game theory model checking probabilistic prediction pushdown automata quantum computing quantum measurements random graphs semigroup temporal logic timed automata weighted automata weighted logic.
Jetzt bei Ebay:
