Доклад:

• С.И. Мукосий А.А. - Дедуктивные системы CL+, CLuN.

Участники семинара:

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.