По вашему запросу найдено документов: 66975
Страница 5 из 6698
Исчисление истинных утверждений с помощью операций теории Chance Discovery в многоагентном окружении is how to express most essential properties of CD in terms of temporal logic (branching time multi
Operation associated to partitions and best extension of signed measures on set logicsWe offer a new operation on the class of concrete logics based on a partition generated by a two
Logical-Semantic Visual Navigators - Aids for TeachersLogical-Semantic Visual Navigators - Aids for Teachers
Logical-Semantic Visual Navigators - Aids for TeachersLogical-Semantic Visual Navigators - Aids for Teachers
Logical-semantic visual navigators - Aids for teachersLogical-semantic visual navigators - Aids for teachers
Разрешимость многомодальной линейной логики знания и времени LTK knowledge and time. We introduce multi-modal logics LT Kr and LT Kir containing modalities for knowledge
Multiagent Temporal Logics with MultivaluationsWe study multiagent logics and use temporal relational models with multivaluations. The key
Unification in Linear Modal Logic on Non-transitive Time with the Universal ModalityWe investigate the question of unification in the linear modal logic on non-transitive time
The difference logical operation for images in optical echo holography of logical operations on images using the accumulated long-lived echo hologram. It is shown
Software tool for evaluation of reliability and survivability of complex technical system based on logical-probabilistic methodology and survivability indicators based on the logical-probabilistic approach. Modified logical-probabilistic method
Страница 5 из 6698
Фасеты
Партнеры
Индексация
