Lytvyn VV, Bobyk IO, Vysotska VA. APPLICATION OF ALGORITHMIC ALGEBRA SYSTEM FOR GRAMMATICAL ANALYSIS OF SYMBOLIC COMPUTATION EXPRESSIONS OF PROPOSITIONAL LOGIC. RIC [Internet]. 2017Jan.20 [cited 2024Nov.29];(4). Available from: https://ric.zp.edu.ua/article/view/90603