Kleschev Aleksandr Sergeevich

Publications in Math-Net.Ru

1. The statements of the practically useful problems of intelligent activity
   
   Dal'nevost. Mat. Zh., 16:1 (2016),  44–61
2. Project IACPaaS. Complex for intelligent software based on cloud computing
   
   Artificial Intelligence and Decision Making, 2011, no. 1,  27–35
3. An operational model for intuitive proofs
   
   Probl. Upr., 2011, no. 1,  2–7
4. A concept of a mathematical knowledge bank for scientific research. P. 2. Interactive formation of intuitive proofs
   
   Probl. Upr., 2008, no. 5,  26–30
5. A concept of a mathematical knowledge bank for scientific research. P. 1. A metaphor
   
   Probl. Upr., 2008, no. 4,  2–6
6. A model of an analogy between mathematical proofs
   
   Probl. Upr., 2007, no. 1,  20–24
7. An internal model of mathematical practice for interactive systems of theorem proof construction. Part 3. A proof model
   
   Probl. Upr., 2006, no. 6,  68–71
8. An internal model of mathematical practice for interactive systems of theorem proof construction. Part 2. A mathematical dialect model
   
   Probl. Upr., 2006, no. 5,  68–73
9. An interdisciplinary system for information resources management at various generality levels
   
   Probl. Upr., 2006, no. 4,  64–68
10. An internal model of mathematical practice for interactive systems of theorem proof construction. Part 1. General model description
    
    Probl. Upr., 2006, no. 4,  32–35
11. The management of user interface design and implementation on the basis of ontologies
    
    Probl. Upr., 2006, no. 2,  58–62
12. The analysis of approaches to mathematical knowledge correctness problem
    
    Probl. Upr., 2005, no. 3,  13–19