Cover of the work “Combinatorial means for the formalization of empirical induction”. Author: Zabezhailo, Mikhail Ivanovich. Degree: Doctor of Sciences. Year: 2016

Combinatorial means for the formalization of empirical induction

Federal Research Center 'Computer Science and Control', Moscow

379 pp.

Combinatorial means for the formalization of empirical induction — Zabezhailo, Mikhail Ivanovich — 2016 — Russian Dissertation Library