Шаблон:PSL TOC — различия между версиями
Материал из Wiki
ANA (обсуждение | вклад) м |
ANA (обсуждение | вклад) м |
||
Строка 13: | Строка 13: | ||
* [[PSL/A Practical Introduction to PSL/Introduction/ru|Introduction]] ([[PSL/A Practical Introduction to PSL/Introduction|en]]) | * [[PSL/A Practical Introduction to PSL/Introduction/ru|Introduction]] ([[PSL/A Practical Introduction to PSL/Introduction|en]]) | ||
− | |||
* [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]]) | * [[PSL/A Practical Introduction to PSL/Basic Temporal Properties/ru|Basic Temporal Properties]] ([[PSL/A Practical Introduction to PSL/Basic Temporal Properties|en]]) | ||
+ | <!-- | ||
* [[PSL/A Practical Introduction to PSL/Some Philosophy/ru|Some Philosophy]] ([[PSL/A Practical Introduction to PSL/Some Philosophy|en]]) | * [[PSL/A Practical Introduction to PSL/Some Philosophy/ru|Some Philosophy]] ([[PSL/A Practical Introduction to PSL/Some Philosophy|en]]) | ||
* [[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators/ru|Weak vs. Strong Temporal Operators]] ([[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators|en]]) | * [[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators/ru|Weak vs. Strong Temporal Operators]] ([[PSL/A Practical Introduction to PSL/Weak vs. Strong Temporal Operators|en]]) |
Версия 13:46, 25 октября 2013
Литература
Введение в PSL