Обсуждение:Темпоральная логика

Последнее сообщение: 12 лет назад от Luver

В унарных операторах A и E необходимо заменить на кванторы Luver 16:55, 13 мая 2012 (UTC)Ответить

Добавить тему

Источник — https://ru.wikipedia.org/w/index.php?title=Обсуждение:Темпоральная_логика&oldid=44395186