Robert S Boyer,J Strother Moore. (1988). A computational logic handbook. Academic Press.
Παραπομπή Chicago StyleRobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Παραπομπή MLARobert S Boyer,J Strother Moore. A Computational Logic Handbook. Academic Press, 1988.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.