Computational logic: its origins and applications
Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2018-02, Vol.474 (2210), p.1-14
[Peer Reviewed Journal]
2018 The Author(s) ;ISSN: 1364-5021 ;EISSN: 1471-2946
Full text available