Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№4
Publication date:
09 September 2024
(zardim@yandex.ru)
Author in:
- Application of first-order logic in assumption-based truth maintenance systems Co-authors: Vagin V.N.