Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Препринт ИПМ № 67, Москва, 1977 г.
Авторы: Корухова Л.С., Любимский Э.З.
Диалоговая процедурно-дедуктивная система Связка
Язык публикации: русский
Сведения об авторах:
  • Корухова Л.С.
  • Любимский Эдуард Зиновьевич,  ,  ИПМ им. М.В. Келдыша РАН