21 - 23 out of 23Page size: 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. p. 113-121

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

  3. 1997

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

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

    Research output: Book/Report/Anthology › Encyclopedia/Dictionary › Research

  5. 1996

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

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research

Previous 1 2 3 Next

ID: 186126