Computational Logic:Logic Programming andBeyond Alan Bundy2002 год

Computational Logic: Logic Programming and Beyond
книга