|
|
 |
| Результат поиска |
Поиск книг, содержащих: Bisimulation
| Книга | Страницы для поиска | | Chagrov A., Zakharyaschev M. — Modal logic | 54 | | Link G. (Ed) — One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy | 203 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 44, 66, 83 | | Hrbacek K., Jech T. — Introduction to Set Theory | 263 | | Jacobs B. — Categorical Logic and Type Theory | 532 | | Kanovei V.G., Reeken M. — Nonstandard Analysis: Axiomatically | 198 | | Hazewinkel M. — Handbook of Algebra (part 2) | 25, 67 | | Milner R. — Communicating and mobile systems: the symbol for pi-calculus | 16, 37 | | Milner R. — Communicating and Mobile Systems: the Pi-Calculus | 16, 37 | | Baeten J.C.M., Middelburg С.A. — Process Algebra with timing | 260 | | Clarke E.M., Grumberg O., Peled D.A. — Model checking | 171—180 | | Meyer J.-J.Ch. — Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science) | 30 | | Hrbacek K., Jech T. — Introduction to Set Theory, Third Edition, Revised, and Expanded (Pure and Applied Mathematics (Marcel Dekker)) | 263 |
|
|
|
|
О проекте