Shepherdson J.C. ...


Shepherdson J.C.
[1965]
Machine configuration and word problem of given degree of unsolvability
Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 69-80
69.02.80
article

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