The logic theory machine--A complex information processing system
1956 ◽
Vol 2
(3)
◽
pp. 61-79
◽
2012 ◽
Vol 55
(1)
◽
pp. 11-17
2019 ◽
Vol 1175
◽
pp. 012256
2016 ◽
Vol 136
(11)
◽
pp. 736-738