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

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