Robert S Boyer,J Strother Moore. (1988). A computational logic handbook. Academic Press.
Trích dẫn kiểu ChicagoRobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Trích dẫn MLARobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.