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.
Cita MLARobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Atenció: Aquestes cites poden no estar 100% correctes.