Вход
Электронный каталог
Лицевая сторона карточки | Обратная сторона карточки |
Bol R.N. Loop checking and negation / R.N.Bol, 1990. - 32 p. - Текст : непосредственный.
Bol R.N. Towards more efficient loop checks / R.N.Bol, 1990. - 18 p. - Текст : непосредственный.
Bol R.N. Loop checking in partial deduction / R.N.Bol, 1991. - 34 p. - Текст : непосредственный.