Title: Metody predstavlennii︠a︡ znaniĭ i dokazatelʹnoe programmirovanie
Subjects: Computer programming