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

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