Software Testing for Conventional and Logic Programming by Ol... - 9783110150711

Sutcliffe - Logic for Programming Artificial Intelligence and Reason - X555z

Hermann - Logic for Programming Artificial Intelligence and Reasonin - X555z

Software Testing for Conventional and Logic Programming (Perspectives in Anal...

Brough - Logic Programming New Frontiers - New paperback or softback - - X555z

Erdem - Logic Programming and Nonmonotonic Reasoning - New paperback o - X555z

Kakas - Computational Logic Logic Programming and Beyond Essays in - X555z

Ceri - Logic Programming and Databases - New paperback or softback - X555z