%0 Journal Article
%A M. Joudakizadeh
%A A. P. Bel'tyukov
%T Adaptive human–machine theorem proving system
%J Izvestiya Instituta Matematiki i Informatiki Udmurtskogo Gosudarstvennogo Universiteta
%D 2024
%P 17-33
%V 64
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIMI_2024_64_a1/
%G en
%F IIMI_2024_64_a1