Open AccessON THE PROBLEM OF LOGIC-AUTOMATIC FORMULAS PERFORMABILITY
Author(s) -
С. С. Марченков
Publication year - 2020
Publication title -
izvestiâ vysših učebnyh zavedenij. povolžskij region. fiziko-matematičeskie nauki
Language(s) - English
Resource type - Journals
ISSN - 2072-3040
DOI - 10.21685/2072-3040-2020-2-6
Subject(s) - computer science , programming language , arithmetic , mathematics