Robert S Boyer,J Strother Moore. (1988). A computational logic handbook. Academic Press.
Dyfyniad Arddull ChicagoRobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Dyfyniad MLARobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.