1. 
| 681.3
Я41
Язык Пролог в пятом поколении ЭВМ [Текст] : Сборник статей [1983-1986 гг.] : Пер. с англ / К. Фути [и др.] ; ред. Н. И. Ильинский ; пер.: В. Г. Волченков [и др.]. - М. : Мир, 1988. - 501 с. : риc. - ISBN 5-03-000537-4 : 2.60 р.
Содержание:
К вычислительным системам пятого поколения
ESP- предварительная версия базового языка программирования компьютеров пятого поколения
Абстрактные типы данных в PROLOG/KR
Расширение пролога для работы с негативными знаниями
ShapeUp- язык обработки информационных знаний
Операционная система последовательной машины вывода - основные концепции
Объктно-ориентированное программирование в Параллельном Прологе
Слияние с ограниченным ожиданием в Параллельном Прологе Шапиро
Чистые, косвенные и самобалансирующиеся операторы слияния: спецификация и реализация в Параллельном Прологе
Упорядочивание редукции процессов в Параллельном Прологе
Многоканальное слияние с постоянной задержкой в Параллельном Прологе
Пролог средствами функционального программирования
Эффективный алгоритм управления памятью Пролог-программ, допускающий гибкие стратегии управления
Максимальные унифицируемые и минимальные неунифицированные подмножества
Высокопараллельный механизм вывода - модель трансформации целей и архитектура машины
ORBIT- параллельная модель выполнения Пролог-программ
Конвейерный Пролог-процессор
ИЛИ - параллельная потоковая Пролог-машина
Последовательная Пролог-машина РЕК
Спецификация и инициализация логической вычислительной системы
Система восходящего грамматического разбора (ВГР), встроенная в Пролог
Применение Пролога для синтеза логических схем
Пролог и автоматическое доказательство теорем
Исчисление событий, основанное на логике
Определение чисто функционального языка HASL средствами языка Пролог
Логическое программирование как средство разработки экспертных систем
Преобразование программ посредством метасдвига
Трансляция продукционных правил в Пролог-программу с прямой стратегией вывода ББК 22.18
Рубрики: Информатика--Языки программирования
Аннотация: Сборник статей посвящен одной из базовых концепций проекта вычислительных систем пятоого поколения - логическому программированию. Рассматривается широкий круг проблем, связанных с развитием языковых аспектов логического программирования и аппаратной и программной реализацией.
Держатели документа:
МУБиНТ : 150003, г. Ярославль, ул. Советская, 80
Доп.точки доступа:
Фути , К.; Тикаяма, Т.; Аида, Х.; Танака, Х.; Мотоока, Т.; Ильинский, Н. И. \ред.\; Волченков, В. Г. \пер.\; Волшаник, Т. В. \пер.\; Козинцев, И. Б. \пер.\; Русаков, В. А. \пер.\; Сергиевский, Г. М. \пер.\; Синицын, С. В. \пер.\
, Чит. зал
Свободных экз. нет
Найти похожие
|
2.
| (Свободных экземпляров нет)
Шифр: ММенК/2007/10
Журнал
Методы менеджмента качества [Текст] : ежемесячный научно-технический журнал. - М. : ООО "РИА "Стандарты и качество", 1969 - . - ISSN 0130-6898. - Выходит ежемесячно
2007г. N 10
. - 457.70, р.
Содержание:
Братолюбов, В. Б. Конкурентоспособность промышленной продукции средств производства / В. Б. Братолюбов. - С.4-9
Рассел, Дж. П. Знайте принципы проведения аудита и следуйте им / Дж. П. Рассел. - С.10-14
Кузьмин, А. М. Параллельная Инженерная разработка / А. М. Кузьмин. - С.15
Ситниченко, В. М. Определение степени эффективности применения восьми принципов менеджмента / В. М. Ситниченко, А. Б. Киселева, Е. А. Стоякин. - С.16-21
Евстропов, Н. А. Учет и анализ затрат на качество на фармацевтическом производстве / Н. А. Евстропов, Е. В. Приймак. - С.22-27
Ощуркова, Н. А. Ставка на профессионализм / Н. А. Ощуркова. - С.28-31
Плотников, М. А. Как услышать потребителя и оценить значимость его требований / М. А. Плотников. - С.32-39
Касьянов, С. В. Результативность и эффективность методов получения о качестве продукции / С. В. Касьянов, Д. Т. Сафаров. - С.40-47
Рыжкин, И. Ю. Карта стандартизованной работы / И. Ю. Рыжкин. - С.48-49
Исаев, С. В. Изменение Формы плана управления / С. В. Исаев. - С.50
Степанов, А. В. Метрологическая экспертиза: вопросы и ответы / А. В. Степанов. - С.51-53
Шпер, В. Л. Применение стандарта ISO 14001 в малом бизнесе / В. Л. Шпер. - С.54-56
Мельникова, Е. В. Лидерство, творчество, инновации - слагаемые успеха любой организации / Е. В. Мельникова. - С.57-60
Все экземпляры списаны
Найти похожие
|