G. V. Bokov, “Пропозициональные исчисления как средство задания логических процессов”, Intelligent systems. Theory and applications, 2016, Volume 20, Issue 3,Pages <nobr>24

JOURNALS // Intelligent systems. Theory and applications // Archive

Intelligent systems. Theory and applications, 2016 Volume 20, Issue 3, Pages 24–36 (Mi ista84)

This article is cited in 1 paper

Пропозициональные исчисления как средство задания логических процессов

G. V. Bokov

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics