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 2024Apr.20];(4). Available from: http://ric.zntu.edu.ua/article/view/90603