ISSN 0236-235X (P)
ISSN 2311-2735 (E)

Journal influence

Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)

Bookmark

Next issue

2
Publication date:
16 June 2024

Fominykh I.B.

Ph.D (igborfomin@mail.ru)
National Research University “MPEI”
Author in:
  1. Active logic and logic programming: integration of the concepts
  2. Co-authors: Vinkov M.M., Pozhidaev A.K.
  3. Algorithmic and software implementation of a cognitive agent based on G. Polya’s methodology
  4. Co-authors: S.S. Kurbatov, A.B. Vorobev
  5. Development of a prototype solver for extended step theories of propositional logic
  6. Co-authors: Fomina M.V. , N.A. Gulyakina, Alekseev N.P., Kravchenko K.S.