Title: Deduktivnye postroenii︠a︡ v sistemakh iskusstvennogo intellekta i modelirovanie avtonomnykh robotov
Subjects: Machine theory, Symbolic and mathematical Logic, Artificial intelligence