Mathematical and software support for solving first-order logical equations

Irkutsk

158 pp.

Keywords

mathematical support; solution of first-order logical equations

Mathematical and software support for solving first-order logical equations — Gulyamov, Shukhrat Baratovich — 1997 — Russian Dissertation Library