Logic Programming and Automated Reasoning Andrei Voronkov, Harald Ganzinger, David A. McAllester 456,60 DKK See product
Logic for Programming, Artificial Intelligence, and Reasoning Robert Nieuwenhuis, Andrei Voronkov 880,20 DKK See product
