Библиография Лаврова И.А.


Scott D.
[1970]
Outline of a mathematical theory of a computation
Proc. IV Conf. on for. sci. and systems, (Princeton, New Jersy, 1970), Princeton Univ. Press, 169-176 ( Русский перевод в Киберн. сб., 197б, 14, 105-121.)
?
article

Вернуться к поиску