|
|
 |
| Результат поиска |
Поиск книг, содержащих: Presburger arithmetic
| Книга | Страницы для поиска | | Straubing H. — Finite automata, format logic, and circuit complexity | 36 | | Ash C.J., Knight J., Sevenster A. (Ed) — Computable Structures and the Hyperarithmetical Hierarchy | 56 | | Marker D. — Model theory: An introduction | 82, 170 | | Hein J.L. — Theory of Computation: An Introduction | 488 | | Peterson J.L. — Petri net theory and the modeling of systems | 150, 272 | | Perrin D., Pin J.-E. — Infinite Words: Automata, Semigroups, Logic abd Games | 377 | | Ferrante J., Rackoff Ch.W. — The Computational Complexity of Logical Theories | see "Integer", "Addition" | | Franzén T. — G #246 del's Theorem: An Incomplete Guide to Its Use and Abuse | 133 | | Salomaa A. — Computation and automata | 180 | | Tipler F.J. — The Physics of Immortality | 193 |
|
|
|
|
О проекте