|
|
 |
| Результат поиска |
Поиск книг, содержащих: Loveland, D.
| Книга | Страницы для поиска | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 43 | | Du D. (ed.), Pardalos P. (ed.) — Handbook of combinatorial optimization: supplement volume A | 390—391, 396—397, 406, 506, 538 | | Abramsky S., Gabbay D.M., Maibaum T.S.E. — Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods | 210 | | Kneebone G.T. — Mathematical Logic and the Foundations of Mathematics: An Introductory Survey | 292 | | Ben-Ari M — Mathematical Logic for Computer Science | 292 | | Nienhuys-Cheng S., Wolf R. — Foundations of Inductive Logic Programming | 90, 94 |
|
|
|
|
О проекте