Robert S Boyer,J Strother Moore. (1988). A computational logic handbook. Academic Press.
Chicago Edition CitationRobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
MLA引文Robert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
警告：这些引文格式不一定是100％准确.