1. |
Саломаа, А. Жемчужины теории формальных языков / Саломаа А.. - Москва : Мир, 1986. - 159 с.. - Б. ц.
Кл.слова: Теория формальные языки вычислительная математика -- теория -- формальные -- языки -- вычислительная -- математика------------2. |
Грис, Д. Наука программирования / Грис Д.. - Москва : Мир, 1984. - 416 с.. - Б. ц.
Кл.слова: теория формальных языков грамматика программирование предикаты -- теория -- формальных -- языков -- грамматика -- программирование -- предикаты------------3. |
Смальян, Р. Теория формальных систем / Смальян Р.. - Москва : Наука, 1981. - 207 с.. - (Математическая логика и основания математики). - Б. ц.
Кл.слова: Математическая логика формальные системы -- математическая -- логика -- формальные -- системы------------4. |
Итоги науки и техники: Т.10 / Гамкрелидзе Р.В.. - Москва : ВИНИТИ, 1978. - 286 с.. - (Современные проблемы математики). - Б. ц.
Кл.слова: алгебраическая топология теория формальных групп Ли -- алгебраическая -- топология -- теория -- формальных -- групп -- ли------------ Дод. точки доступу: Гамкрелидзе, Р. В.
5. |
Грис, Д. Конструирование компиляторов для цифровых вычислительных машин / Грис Д.. - Москва : Мир, 1975. - 544 с.. - Б. ц.
Кл.слова: Компиляторы цифровые вычислительные машины теория формальных языков грамматика -- компиляторы -- цифровые -- вычислительные -- машины -- теория -- формальных -- языков -- грамматика------------6. |
Гладкий, А. В. Элементы математической лингвистики / Гладкий А.В., Мельчук И.А.. - Москва : Наука, 1969. - 192 с.. - Б. ц.
Кл.слова: Математическая лингвистика формальные грамматики порождающие -- математическая -- лингвистика -- формальные -- грамматики -- порождающие------------ Дод. точки доступу: Мельчук, И. А.
7. |
Крилов, М. М. Про деякі формальні розклади нелінійної механіки / Крилов М.М., Боголюбов М.М.. - Київ : Вид-цтво ВУАН, 1934. - 87 с.. - Б. ц.
Кл.слова: Нелінійна механіка формальні розклади -- нелінійна -- механіка -- формальні -- розклади------------ Дод. точки доступу: Боголюбов, М. М.
| | | | | | |