Title: Vsesoi͡uznai͡a konferent͡sii͡a "Metody matematicheskoĭ logiki v problemakh iskusstvennogo intellekta i sistematicheskoe programmirovanie"
Subjects: Artificial intelligence, Congresses, Symbolic and mathematical Logic, System theory