Decidable Theories: Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
Autor Dirk Siefkes et al.
Paperback
Preț: 263.58 lei
6-8 săpt.
Cărți de Dirk Siefkes
Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions
Autor J. Richard Büchi et al.
29 iun 2012
Paperback
Preț: 618.50 lei 727.65 lei
6-8 săpt.
-15%
The Collected Works of J. Richard Büchi
Autor J. Richard Büchi et al.
10 noi 2011
Paperback
Preț: 339.55 lei 424.44 lei
6-8 săpt.
-20%