|
|
 |
| Результат поиска |
Поиск книг, содержащих: NOR
| Книга | Страницы для поиска | | Кормен Т., Лейзерсон Ч., Ривест Р. — Алгоритмы: построение и анализ | 603 | | Halmos P.R., Givant S. — Logic as Algebra | 54 | | Velleman D.J. — How to Prove It: A Structured Approach | 24,133 | | Бауэр Ф.Л., Гооз Г. — Информатика | 273 | | Brookshear J.G. — Computer Science: An Overview | 42 | | Hein J.L. — Discrete Structures, Logic, and Computability | see “Normal order reduction” | | Hein J.L. — Theory of Computation: An Introduction | see “Normal order reduction” | | Trzeciak J. (ed.) — Writing Mathematical Papers in English | 9, 10, 43 | | Brookshear J. — Computer Science | 42 | | Giarratano J.C., Riley G.D. — Expert Systems: Principles and Programming | 86 | | Gries D. — A Logical Approach to Discrete Math | 27 | | Hinman P.G. — Fundamentals of Mathematical Logic | 40 | | Blum E.K., Lototsky S.V. — Mathematics of Physics and Engineering | 384 | | Jablan S., Sazdanovic R. — LinKnot: knot theory by computer | 449 | | Hammerlin G., Hoffmann K.-H., Schumaker L.L. — Numerical Mathematics | 9 | | Бауэр Ф.Л., Гооз Г., Сабельфельд В.К. (пер.) — Информатика. Вводный курс | 207 | | Hill F.J., Peterson G.R. — Computer Aided Logical Design with Emphasis on VLSI | 12, 56 |
|
|
|
|
О проекте