|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Модели типа Крипке для хронологической логики знаниястатья
- Автор: Варданян Валерий Арамович
- Сборник: Проблемы искусственного интеллекта
- Серия: Вопросы кибернетики
- Том: 61
- Год издания: 1980
- Место издания: Научный совет по комплексной проблеме «Кибернетика» Академии Наук СССР Москва
- Первая страница: 158
- Последняя страница: 168
- Добавил в систему: Золин Евгений Евгеньевич