Иерархии программных логик
Page 1
Displaying 1 – 5 of 5
О выразительной силе некоторых динамических логик
А.П. Столбоушкин (1986)
Matematiceskij sbornik
О предполных классах алгоритмов, сохраняющих принадлежность множеству II
Ю.В. Голунков (1980)
Verojatnostnye metody i kibernetika
О реализации некоторых мультиопераций на последовательных машинах
Т.Н. Смирнова, А.А. Александрова, Н.Б. Сциборская (1977)
Zapiski naucnych seminarov Leningradskogo
Схемы программ и эффективные функционалы конечных типов
В.Д. Соловьев (1983)
Verojatnostnye metody i kibernetika
Currently displaying 1 – 5 of 5
Page 1