Robert S Boyer,J Strother Moore. (1988). A computational logic handbook. Academic Press.
Citação norma ChicagoRobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Citação norma MLARobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.