一组时态逻辑

一组时态逻辑
_
first-order temporal logic

Наука. 2013.

Игры ⚽ Поможем решить контрольную работу

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»