-

    Eng     



 



:
: ,
:


:


300 , 4 (1 .), 29 . (2 ), 36 . , 97 , 95 , 21 , 21 , :
1. .. : . - .: " ", 1988.- 207.
2. .. - - . . . . 05.13.13 , , , , 1990. 32.
3. .., .., .. - . . - , " ". - 1991. .326.
4. Vishnyakov V.A., German O.V. Models and Tools of Logical Inference Systems. . - Moscow, "Nauka", -1999, -pp.374.
5. .., .., .. . .7 . . . , 2006. 215.
6. .., .. . .: , 2009. 342.
7. .. - .1, 2. . .: , 2010. 192., 209.
8. .., .. . . . , 2010. 184
9. .. . . . , 2010. 328
10. .. . - . . , 2011. - 232.
11. .., .., .. , , , . . . , 2011. 350.


:
1972 -
1978 - . . 05.13.05
1981-82 -
1990 05.13.13
1991-96 -
1996-2002 -
1996
1997, 2001
2002-2011 - .
2011 .

, , .
5 ..., 7 . 02 15 01, 02 15 04 (), 2007-13 .
1997 . , 2000. .
, , , .
29 2012 , , III- .





<<

 

 

 


 

  :

, , , ,
, , , ,
, ,

220102, , , 12
miu@miu.by