2018
Report
Vol. 2
Kleschev A.S., Timchenko V.A. The concept of a shell for interactive verification systems of intuitive mathematical proofs / / The sixteenth national conference on artificial intelligence with international participation CII-2018 (September 24-27, 2018, Moscow, Russia). Proc. of the conference. in 2 vol. - Moscow: RCP, 2018. Vol. 2. Pp. 114-122. (in Russian)