ВУЗ:
Составители:
Рубрика:
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
- …
- следующая ›
- последняя »
