|
|
 |
| Результат поиска |
Поиск книг, содержащих: Domain theory
| Книга | Страницы для поиска | | Girard J.-Y., Taylor P., Lafont Y. — Proofs and Types | 56, 132 | | Pierce B.C. — Basic category theory for computer scientists | 60 | | Seitz F. — Modern Theory of Solids | 20ff. | | Lawrence C. Paulson — ML for the working programmer | 215, 216, 233, 247, 443 | | Kittel C. — Introduction to solid state physics | 186 | | Hazewinkel M. — Handbook of Algebra (part 2) | 8, 25, 37, 59, 66, 67 | | Kraetzschmar G.K. — Distributed Reason Maintenance for Multiagent Systems | 9, 39 | | Bertotti G. — Hysteresis in Magnetism: For Physicists, Materials Scientists, and Engineers | 192—196 | | Seitz F. — The Physics of Metals | 298ff. | | Bjorner D. — Software Engineering 3 | 194, 351—358 | | Mitchell T.M. — Machine Learning | 310, 329, See also "Imperfect domain theory", "Perfect domain theory", "Prior knowledge" | | Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 58 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 759 | | Hoselitz K. — Ferromagnetic Properties of Metals and Alloys | 5f., 19f. | | Zelkowitz M. — Advances in Computers, Volume 55 | 178 |
|
|
|
|
О проекте