Author: Vsesoi͡uznyĭ simpozium "Iskusstvennyĭ intellekt i avtomatizat͡sii͡a issledovaniĭ v matematike" (1978 Kiev, Ukraine)