Degroot, Doug, Logic programming : Functions, relations, and equations / Doug degroot, gary lindstrom - 533 páginas ISBN: 0135399580 Subjects--Topical Terms: Lógica simbólica y matemáticaProgramación de computadoras LC Class. No.: QA76.6 / D427