Бинарный граф решений: различия между версиями

Бинарный граф решений (посмотреть исходный код)

105 байт добавлено , 22 ноября 2024

1294

правки

Версия от 09:37, 22 ноября 2024 (просмотреть исходный код) KVN (обсуждение \| вклад) Нет описания правки Метка: правка через визуальный редактор ← Предыдущая правка		Текущая версия от 10:06, 22 ноября 2024 (просмотреть исходный код) KVN (обсуждение \| вклад) (→‎Литература)
Строка 126:		Строка 126:

	18. Yuan, J., Pixley, C., Aziz, A.: Constraint-Based Verfication. Springer (2006)		18. Yuan, J., Pixley, C., Aziz, A.: Constraint-Based Verfication. Springer (2006)

			[[Категория: Совместное определение связанных терминов]]