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