Значок книги

Логика в решении проблем Р. Ковальски

Сохранить в:

Библиографические подробности
Автор:	Ковальски Р.
Тип документа:	Книга
Язык:	Russian English
Год издания:	Москва Наука 1990
Ключевые слова:	Логическое программирование

Схожие документы

Введение в логическое программирование
Автор: Хоггер К. Д.
Год издания: (1988)

Математическая логика в программировании
Год издания: (1991)

Вопросы кибернетики
Год издания: (1990)

Реляционный язык пролог и его применение
Автор: Малпасс Д. Р.
Год издания: (1990)

Язык пролог в пятом поколении ЭВМ
Год издания: (1988)

Искусство программирования на языке пролог
Автор: Стерлинг Л.
Год издания: (1990)

Вычислительные системы
Год издания: (1990)

Вычислительные системы
Год издания: (1993)

Язык программирования лого
Автор: Дьяконов В. П.
Год издания: (1991)

Логическое программирование
Год издания: (2008)

Аппаратно-программные средства процессоров логического вывода
Автор: Вишняков В. А.
Год издания: (1991)

Логическое программирование и базы данных
Автор: Чери С.
Год издания: (1992)

Логическое программирование
Год издания: (1988)

Методы и средства алгебраического и логического программирования
Год издания: (1990)

Методология и логика исторического исследования
Автор: Косолапов В. В.
Год издания: (1977)

Искусственный интеллект и пролог на микроЭВМ
Автор: Макаллистер Дж.
Год издания: (1990)

Логический подход к искусственному интеллекту
Год издания: (1990)

Вычислительные системы
Год издания: (1992)

Историческое и логическое в марксистской философии
Автор: Гриценко И. И.
Год издания: (1969)

Логическое и историческое - категории материалистической диалектики
Автор: Гриценко И. И.
Год издания: (1967)

Методологические проблемы теоретического и исторического подсознания
Автор: Добриянов В. С.
Год издания: (1968)

Приоритетно-логическое структурирование учебной информации
Автор: Мирошниченко И. Л.
Год издания: (2005)

Технология приоритетно-логического структурирования учебной информации
Автор: Мирошниченко И. Л.
Год издания: (2005)

Логическое управление в промышленности
Год издания: (1984)

Дидактические условия развития конструктивно-логического мышления студентов - будущих педагогов-математиков
Автор: Купчинаус С. Ю.
Год издания: (2006)

Логика и компьютер
Год издания: (1990)

"Круги" в познании
Автор: Касымжанов А. Х.
Год издания: (1977)

Электрохимия в решении проблем экологии
Год издания: (1990)

Принципы поиска решений медицинских проблем
Год издания: (1990)

Биохимия в решении проблем сельскохозяйственного производства
Год издания: (1981)

НЛП в действии
Автор: Бэндлер Р.
Год издания: (2008)

Введение в технику работы с таблицами решений
Год издания: (1979)

Обмен опытом в области современных методов разработки программ на ЭВМ
Год издания: (1982)

Дискретное динамическое программирование. Введение в оптимизацию многошаговых процессов
Автор: Арис Р.
Год издания: (1969)

Введение в теорию линейного и выпуклого программирования
Автор: Еремин И. И.
Год издания: (1976)

П. А. Флоренский о логическом и символическом аспектах научно-философского мышления
Автор: Антипенко Л. Г.
Год издания: (2012)

Практикум по программированию
Автор: Барашев А. Ф.
Год издания: (1973)

Программирование на алгоритмическом языке Бейсик для диалогового вычислительного комплекса "Электроника НМС-02"
Автор: Богатюк В. А.
Год издания: (1987)

Выполнение лабораторных работ и практических заданий по курсу "Программирование"
Год издания: (2012)

Лабораторные работы по основам алгоритмизации и программирования
Год издания: (2012)