|
|
 |
| Результат поиска |
Поиск книг, содержащих: Harel, D.
| Книга | Страницы для поиска | | Wolter F., Wansing H., Вe Rijke M. — Advances in modal logic (vol.3) | 174, 329, 346 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 64, 499, 527, 537, 548, 554 | | Sack J.R., Urrutia J. (Ed) — Handbook of Computational Geometry | 954, 955, 963, 966 [38], 968 [90] | | Maier D. — The theory of relational databases | 549, 597 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 136 | | Ullman J.D., Widom J. — A first course in database systems | 241 | | Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey | 291 | | Ben-Ari M — Mathematical Logic for Computer Science | 291 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 498, 543 | | Zelkowitz M.(editor) — Advances in Computers. Volume 49 | 72, 93 | | Adian S., Nerode A. — Logical Foundations of Computer Science 4 conf., LFCS'97 | 141 |
|
|
|
|
О проекте