1. Главная
  2. Полный текст публикации: Multi-agent logics with interacting agents based on linear temporal logic: Deciding algorithms

Полный текст публикации: Multi-agent logics with interacting agents based on linear temporal logic: Deciding algorithms

Полный текст не загружен, но возможно он доступен по одной из следующих ссылок:

  1. DOI 10.1007/978-3-540-69731-2_116 (переход на страницу публикации на сайте издателя)
  2. РИНЦ (eLIBRARY.RU) (справа ссылка «Загрузить полный текст»)
  3. Scopus (вверху ссылка «Скачать»)
  4. Поиск в Академии Google

Вернуться на страницу публикации