Полное название | 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