Шаблон:PSL TOC
Материал из Wiki
Версия от 00:11, 16 ноября 2013; ANA (обсуждение | вклад)
Короткая ссылка: Template:PSL TOC
Литература
Введение в PSL
- 1. Introduction (en)
- 2. Basic Temporal Properties (en)
- 3. Some Philosophy (en)
- 4. Weak vs. Strong Temporal Operators (en)
- 5. SERE Style (en)