LYTVYN, V. V.; BOBYK, I. O.; VYSOTSKA, V. A. APPLICATION OF ALGORITHMIC ALGEBRA SYSTEM FOR GRAMMATICAL ANALYSIS OF SYMBOLIC COMPUTATION EXPRESSIONS OF PROPOSITIONAL LOGIC. Radio Electronics, Computer Science, Control, [S. l.], n. 4, 2017. DOI: 10.15588/1607-3274-2016-4-10. Disponível em: http://ric.zntu.edu.ua/article/view/90603. Acesso em: 29 mar. 2024.