|
|
 |
| Результат поиска |
Поиск книг, содержащих: Tiuryn, J.
| Книга | Страницы для поиска | | Priami C. (Ed) — Computational Methods in Systems Biology: International Conference, Cmsb 2006, Trento, Italy, October 18-19, 2006, Proceedings | 142 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 499, 527, 537, 548 | | Monk J.D., Bonnet R. — Handbook Of Boolean Algebras Vol.3 | 1296 | | Hazewinkel M. — Handbook of Algebra (part 2) | 56 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 136 | | Penczek W., Szalas A. — Mathematical Foundations of Computer Science | 135 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 766, 780 |
|
|
|
|
О проекте