Methods for Finding Consequences with Specified Properties
Год(ы):
2021
Авторы:
д.ф.м.н. Кулик Борис Александрович , Fridman A. ,
Название издания:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том издания:
12948 LNAI
Страницы издания:
67 - 80
ДОИ (doi):