Logic for expressing graph properties: история изменений

Перейти к навигации Перейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

31 мая 2011

  • текущ.пред. 16:4916:49, 31 мая 2011Glk обсуждение вклад 2901 байт +2901 Новая страница: «'''Logic for expressing graph properties''' --- логика для выражения свойств графа. Any labelled graph may be defined as a logical st…»