Опубликованный пакет / CLIR
logic.temporal
v0.1.0The Open Logic Text
| Работа | Номер | Редакций | Фрагментов |
|---|---|---|---|
| LTL и CTL: авторское изложение правил чтения | LOGIC-TEMPORAL-RESTATEMENT-1 | 1 | 10 |
| The Open Logic Text | The Open Logic Text (Open Logic Project), commit 1e960be | 4 | 4 |