Title: Instrumentalʹnye sistemy i modelirovanie
Subjects: Mathematical models, Application software, Automatic theorem proving