Computer Science LogicEgon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang SchönfeldHäftad538 kr
Theory and Applications of Satisfiability Testing – SAT 2008Hans Kleine Büning, Xishun ZhaoHäftad538 kr
Computer Science LogicEgon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. RichterHäftad538 kr