Полное название Rybakov M., Shkatov D. Trakhtenbrot theorem for classical languages with three individual variables // ACM International Conference Proceeding Series. 2019 Annual Conference of the South African Institute of Computer Scientists and Information Technologists: Digital Eco-Systems Gone Wild, SAICSIT 2019. N.Y.: ACM, Inc., 2019. art.no.a19.
Тип публикации Статья в трудах конференции
Язык Английский
URL https://dl.acm.org/doi/10.1145/3351108.3351128
DOI http://dx.doi.org/10.1145/3351108.3351128
ISBN 978-145037265-7
Идентификатор Scopus 2-s2.0-85073162974
РИНЦ     Перечень ВАК     Web of Science     Scopus
Зарубежное издательство     Научно-популярное издание
С участием зарубежных ученых
Внесено в базу
01.01.1900 0:00:00