Математическое и программное обеспечение решения первопорядковых логических уравнений

Иркутск

158 стр.

Ключевые слова

математическое обеспечение; решение первопорядковых логических уравнений

Математическое и программное обеспечение решения первопорядковых логических уравнений — Гулямов, Шухрат Баратович — 1997 — Российская библиотека диссертаций