|
|
 |
| Результат поиска |
Поиск книг, содержащих: Bundy, A.
| Книга | Страницы для поиска | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 2. Методы и системы программирования | 67 | | Хювёнен Э., Септянен И. — Мир Лиспа. Том 1. Введение в язык Лисп и функциональное программирование | 28 | | Du D. (ed.), Pardalos P. (ed.) — Handbook of combinatorial optimization: supplement volume A | 523, 534 | | Tanimoto S.L. — The elements of artificial intelligence. An introduction using LISP | 231 | | Luger G.F., Stubblefield W.A. — Artificial Intelligence: Structures and Strategies for Complex Problem Solving | 79, 335, 768—769 | | Patten T. — Systemic text generation as problem solving | 10, 16 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 689, 775, 780 | | Srivas M., Camilleri A. — Formal Methods in Computer-Aided Design: First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings | 94 |
|
|
|
|
О проекте