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