![](/img/cover-not-exists.png)
Sequential formula translation
Samelson, K., Bauer, F. L.Volume:
3
Language:
english
Journal:
Communications of the ACM
DOI:
10.1145/366959.366968
Date:
February, 1960
File:
PDF, 1.11 MB
english, 1960