ВУЗ:
Составители:
Рубрика:
86
131.
Georgeff M.P., Rao A.S. BDI Agents – From Theory to Practice. Proceedings of
the 1
st
International Conference on MAS, May, 1995.
132.
Яхно Т.М. Средства представления и методы обработки знаний в
интеллектуальных системах: Дис.д-ра физ.-мат. наук. – Новосибирск, 1997.
– 184 с.
133.
Kowalski R. A., Kuehner D. Linear Resoltion with Selection Function. Frtificial
Intelligence, Vol 2. 1971. 227-260 Р.
134.
Loveland D. W. Automated Theorem Proving: A Logical Basis. North Holland
Publishing Co., Amsterdam, New York and Oxford, 1978.
131. Georgeff M.P., Rao A.S. BDI Agents – From Theory to Practice. Proceedings of the 1st International Conference on MAS, May, 1995. 132. Яхно Т.М. Средства представления и методы обработки знаний в интеллектуальных системах: Дис.д-ра физ.-мат. наук. – Новосибирск, 1997. – 184 с. 133. Kowalski R. A., Kuehner D. Linear Resoltion with Selection Function. Frtificial Intelligence, Vol 2. 1971. 227-260 Р. 134. Loveland D. W. Automated Theorem Proving: A Logical Basis. North Holland Publishing Co., Amsterdam, New York and Oxford, 1978. 86
Страницы
- « первая
- ‹ предыдущая
- …
- 84
- 85
- 86
- 87
- 88
- …
- следующая ›
- последняя »