Всего подписок: 3, всего просмотров: 2175
Оценка читателей: голосов 0
1. Baeten, Jos C.M. (2005) УA Brief History of Process AlgebraФ, Theoretical Computer Science, Vol. 335, Issue 2Ц3, pp. 131Ц146.
2. Belardinelli, Francesco, Lomuscio, Alessio (2009) УQuantified epistemic logics for reasoning about knowledge in multi-agent systemsФ, Artificial Intelligence, Vol. 173, pp. 982Ц1013.
3. Garey, Michael, Johnson, David S. (1979) Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman and Co, San Francisco (Russian Translation 1982).