Logical inference tools in systems of analytical computations

Kyiv

140 pp.

Logical inference tools in systems of analytical computations — Chertov, Oleg Romanovich — 1991 — Russian Dissertation Library