Logic Programming and Automated Reasoning Andrei Voronkov, Harald Ganzinger, David A. McAllester 456,60 kr. Se produkt
