Logic for Programming, Artificial Intelligence, and ReasoningRobert Nieuwenhuis, Andrei VoronkovHäftad, 20011 124 kr
Rewriting Techniques and Applications : 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, ProceedingsRobert Nieuwenhuis665 kr
Logic for Programming, Artificial Intelligence, and ReasoningAndrei Voronkov, Robert Nieuwenhuis E-bok20031 455 kr