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