| Маркер записи | n |
| Контрольный номер | RU/IS/BASE/602079982 |
| Дата корректировки | 8:04:01 30 января 2019 г. |
| ISBN | 5-03-001635-Х |
| Вид содержания и средства доступа | 6-00 |
| Служба первич. каталог. |
Лапко БГТУ |
| Код языка каталог. | rus |
| Правила каталог. | PSBO |
| Код языка издания | rus |
| Индекс УДК | 510.6+519.85 |
| Полочн. индекс | 51 |
| Авторский знак | М34 |
|
Бэкус, Дж. Дж. Бэкус |
|
|
Математическая логика в программировании Текст сборник статей : пер. с англ. под ред.: М. В. Захарьящева, Ю. И. Янова |
|
| Место издания | Москва |
| Издательство | Мир |
| Дата издания оригинала | 1991 |
| Объем | 407, [1] с. |
| Иллюстрации/ тип воспроизводства | ил. |
| Серия | Математическое обеспечение ЭВМ |
| Аннотация | В сборнике содержатся работы, отражающие новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. |
|
математика математическая логика в программировании математическая логика функциональное программирование лямбда-исчисление автоматический поиск логического вывода методы работы с равенствами |
|
| Другие авторы | Скотт, Д. С. |
|
Хиндли, Дж. Р. Миллер, Д. Гоуд, К. А. Антимиров, В. М. Оппен, Д. |
|
| Тип документа | m |
