Mikhailov Valerii Yur'evich

Publications in Math-Net.Ru

1. On methods in the verification and elaboration of development programs for agricultural territories
   
   Model. Anal. Inform. Sist., 25:5 (2018),  481–490
2. Nonprocedural tools for analysis of answers in computer-aided instruction systems
   
   Issled. Prikl. Mat., 11:2 (1984),  51–60
3. Logical system for generation of correct programs for computer-aided instruction
   
   Issled. Prikl. Mat., 10 (1984),  128–138