Параллельные вычисления

Предварительные замечания

Квантовый компьютинг

Искусственный интеллект

Логическое программирование
Abstract
Башня знаний
Формальные методы
The Z notation
Формальные спецификации
С.Л. Сотник. Основы проектирования систем ИИ. Курс лекций

Интернет

Пример использования CGI + исходник (Visual Prolog)

Библиотека программ

FTP