21 - 23 из 23Размер страницы: 10
Сортировать по:: Год публикации
  1. 2001

  2. An Improvement of Brodsky’s Coding Method for the Sequent Calculus of First Order Logic

    Moukhachjov, V. P. & Nechitailov, I. V., 2001, IJCAR 2001-International Joint Conference on Automated Reasoning. стр. 113-121

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная

  3. 1997

  4. Каталог спектральных, фотометрических, пространственных и физических характеристик 693 ярких звезд

    Архаров, А. А., Гаген-Торн, Е. И., Галкин, В. Д., Нечитайлов, Ю. В., Полякова, Г. Д., Попов, В. С., Пузакова, Т. Ю., Рубан, Е. В. & Соколов, Н. А., 1997

    Результаты исследований: Книги, отчёты, сборники › энциклопедия, словарь, справочник

  5. 1996

  6. Проблема скрытой массы: коричневые карлики в карликовых сфероидальных галактиках

    Гнедин, Ю. Н., Нечитайлов, Ю. В. & Пиотрович, М. Ю., 1996, Известия ГАО РАН. стр. 207-212

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике › научная

Назад 1 2 3 Далее

ID: 186126