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