Karp-Miller tree: различия между версиями
Перейти к навигации
Перейти к поиску
Glk (обсуждение | вклад) (Новая страница: «'''Karp-Miller tree''' --- дерево Карпа-Миллера. The same as ''Coverability tree''.») |
(нет различий)
|
Текущая версия от 05:16, 26 мая 2011
Karp-Miller tree --- дерево Карпа-Миллера.
The same as Coverability tree.