О некоторых классах надежных алгоритмов индуктивного вывода - А. А. Мартиросян (АН Арм. ССР)
Keywords: Математика; Алгоритм