Вып. 133 : Логические методы в программировании; Вычислительные системы
| Parent link: | Вычислительные системы: сборник научных трудов/ Российская академия наук; Институт математики им. С. Л. Соболева. Вып. 133 : Логические методы в программировании.— , 1964-2004 |
|---|---|
| Iaith: | Rwseg |
| Cyhoeddwyd: |
1990
|
| Pynciau: | |
| Fformat: | MixedMaterials Llyfr |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=192617 |
Eitemau Tebyg
Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы
Cyhoeddwyd: (1988)
Cyhoeddwyd: (1988)
Вып. 120 : Логические методы в программировании; Вычислительные системы
Cyhoeddwyd: (1987)
Cyhoeddwyd: (1987)
Вып. 148 : Логические методы в информатике; Вычислительные системы
Cyhoeddwyd: (1993)
Cyhoeddwyd: (1993)
Вып. 146 : Логика и семантическое программирование; Вычислительные системы
Cyhoeddwyd: (1992)
Cyhoeddwyd: (1992)
Логическое программирование в занимательных задачах
gan: Касаткин В. Н. Валентин Николаевич
Cyhoeddwyd: (Киев, Технiка, 1980)
gan: Касаткин В. Н. Валентин Николаевич
Cyhoeddwyd: (Киев, Технiка, 1980)
Современное логическое программирование на языке Visual Prolog 7.5: учебник
gan: Марков В. Н.
Cyhoeddwyd: (Санкт-Петербург, БХВ-Петербург, 2016)
gan: Марков В. Н.
Cyhoeddwyd: (Санкт-Петербург, БХВ-Петербург, 2016)
Вып. 129 : Теория алгоритмов и её приложения; Вычислительные системы
Cyhoeddwyd: (1989)
Cyhoeddwyd: (1989)
Функциональное и логическое программирование: учебное пособие
gan: Ездаков А. Л. Андрей Леонидович
Cyhoeddwyd: (Москва, БИНОМ. Лаборатория знаний, 2009)
gan: Ездаков А. Л. Андрей Леонидович
Cyhoeddwyd: (Москва, БИНОМ. Лаборатория знаний, 2009)
Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: диссертация на соискание ученой степени кандидата технических наук; спец. 05.13.01
gan: Пинжин А. Е. Алексей Евгеньевич
Cyhoeddwyd: (Томск, 2009)
gan: Пинжин А. Е. Алексей Евгеньевич
Cyhoeddwyd: (Томск, 2009)
Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
gan: Пинжин А. Е. Алексей Евгеньевич
Cyhoeddwyd: (Томск, 2009)
gan: Пинжин А. Е. Алексей Евгеньевич
Cyhoeddwyd: (Томск, 2009)
Алгоритмы интеллектуальной обработки информации и структурного синтеза программ: автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.13.01
gan: Пинжин А. Е. Алексей Евгеньевич
Cyhoeddwyd: (Томск, 2009)
gan: Пинжин А. Е. Алексей Евгеньевич
Cyhoeddwyd: (Томск, 2009)
Вычислительные системы: моделирование, проектирование и программирование: сборник научных трудов
Cyhoeddwyd: (Ярославль, ЯрГУ, 1990)
Cyhoeddwyd: (Ярославль, ЯрГУ, 1990)
Вып. 135 : Системология и методологические проблемы информационно-логических систем; Вычислительные системы
Cyhoeddwyd: (1990)
Cyhoeddwyd: (1990)
Вып. 125 : Методологические и технологические проблемы информационно-логических систем; Вычислительные системы
Cyhoeddwyd: (1988)
Cyhoeddwyd: (1988)
Вып. 122 : Прикладные аспекты математической логики; Вычислительные системы
Cyhoeddwyd: (1987)
Cyhoeddwyd: (1987)
[Вып.] 94 : Вычислительные системы с программируемой структурой: [сборник]; Вычислительные системы
Cyhoeddwyd: (1982)
Cyhoeddwyd: (1982)
Вып. 2; Вычислительные процессы и системы
Cyhoeddwyd: (1985)
Cyhoeddwyd: (1985)
[Вып.] 83 : Эмпирическое предсказание и распознавание образов; Вычислительные системы
Cyhoeddwyd: (1980)
Cyhoeddwyd: (1980)
Вып. 3; Вычислительные процессы и системы
Cyhoeddwyd: (1985)
Cyhoeddwyd: (1985)
Вып. 3; Вычислительные системы
Cyhoeddwyd: (1982)
Cyhoeddwyd: (1982)
Вып. 6; Вычислительные процессы и системы
Cyhoeddwyd: (1988)
Cyhoeddwyd: (1988)
[Вып.] 82 : Архитектура вычислительных систем с программируемой структурой; Вычислительные системы
Cyhoeddwyd: (1980)
Cyhoeddwyd: (1980)
Вып. 130 : Математические вопросы химической информатики; Вычислительные системы
Cyhoeddwyd: (1989)
Cyhoeddwyd: (1989)
Вып. 145 : Методы и системы искусственного интеллекта; Вычислительные системы
Cyhoeddwyd: (1992)
Cyhoeddwyd: (1992)
Проектирование вычислительных комплексов, систем и сетей: тематический сборник
Cyhoeddwyd: (Москва, Изд-во МЭИ, 1982)
Cyhoeddwyd: (Москва, Изд-во МЭИ, 1982)
Вып. 7; Вычислительные процессы и системы
Cyhoeddwyd: (1990)
Cyhoeddwyd: (1990)
Вып. 8; Вычислительные процессы и системы
Cyhoeddwyd: (1983)
Cyhoeddwyd: (1983)
Вып. 121 : Аппроксимация сплайнами; Вычислительные системы
Cyhoeddwyd: (1987)
Cyhoeddwyd: (1987)
Функциональное и логическое программирование: учебное пособие
gan: Сергиевский Г. М. Георгий Максимович
Cyhoeddwyd: (Москва, Академия, 2010)
gan: Сергиевский Г. М. Георгий Максимович
Cyhoeddwyd: (Москва, Академия, 2010)
Вып. 132 : Методы обработки символьных последовательностей и сигналов: сборник научных трудов; Вычислительные системы
Cyhoeddwyd: (1989)
Cyhoeddwyd: (1989)
Вып. 4; Вычислительные процессы и системы
Cyhoeddwyd: (1986)
Cyhoeddwyd: (1986)
Вып. 5; Вычислительные процессы и системы
Cyhoeddwyd: (1987)
Cyhoeddwyd: (1987)
Вып. 5; Вычислительные системы
Cyhoeddwyd: (1984)
Cyhoeddwyd: (1984)
Высокопроизводительные вычислительные системы и их программное обеспечение: сборник научных трудов
Cyhoeddwyd: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)
Cyhoeddwyd: (Новосибирск, Изд-во ВЦ СО АН СССР, 1987)
[Вып.] 107 : Логико-математические основы проблемы МОЗ: [сборник]; Вычислительные системы
Cyhoeddwyd: (1985)
Cyhoeddwyd: (1985)
[Вып.] 78 : Математическое обеспечение вычислительных систем; Вычислительные системы
Cyhoeddwyd: (1979)
Cyhoeddwyd: (1979)
Вып. 147 : Интерполяция и аппроксимация сплайнами; Вычислительные системы
Cyhoeddwyd: (1992)
Cyhoeddwyd: (1992)
Логические вопросы теории типов данных: сборник научных трудов
Cyhoeddwyd: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986)
Cyhoeddwyd: (Новосибирск, Изд-во Ин-та математики СО АН СССР, 1986)
Вып. 113 : Анализ символьных последовательностей; Вычислительные системы
Cyhoeddwyd: (1985)
Cyhoeddwyd: (1985)
[Вып.] 76 : Эмпирическое предсказание и распознавание образов; Вычислительные системы
Cyhoeddwyd: (1978)
Cyhoeddwyd: (1978)