Вход
Электронный каталог
Лицевая сторона карточки | Обратная сторона карточки |
Лицевая сторона карточки | Обратная сторона карточки |
Warners J.P. two phase algorithm for solving a class of hard satisfiability problems / J.P.Warners,H.van Maaren, 1998. - 10 p. - Текст : непосредственный.