McLean David

Publications in Math-Net.Ru

1. Computing Truth of Logical Statements in Multi-Agents' Environment
   
   J. Sib. Fed. Univ. Math. Phys., 6:3 (2013),  315–328