Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№4
Publication date:
13 December 2024
Keyword: inference
- Authors: Томчук М.Н., Страбыкин Д.А.
- Authors: Ярушкина Н.Г., Афанасьева Т.В., Новак В., Перфильева И.
- The method of parallel logical inference of consequences for propositional calculus Authors: Томчук М.Н., Страбыкин Д.А., Агалаков Е.В.
- Using ontologies in ships operation tasks Authors: Козырев И.В.
- Application of first-order logic in assumption-based truth maintenance systems Authors: Вагин В.Н., Зарецкий Д.С.
