Journal influence
Higher Attestation Commission (VAK) - К1 quartile
Russian Science Citation Index (RSCI)
Bookmark
Next issue
№4
Publication date:
09 December 2024
Keyword: prolog
- The algorithms and the program for functional models verification Authors: Корнюшко В.Ф., Бурляева Е.В., Кононенко В.В., Разливинская С.В.