Logic Programming and Automated Reasoning Andrei Voronkov, Harald Ganzinger, David A. McAllester 456,60 kr. Se produkt
Logic for Programming, Artificial Intelligence, and Reasoning Robert Nieuwenhuis, Andrei Voronkov 880,20 kr. Se produkt
