Hans Kleine Büning · 8 obras en el catálogoObrasAussagenlogik: Deduktion und AlgorithmenPrologPrologPrologComputer Science LogicCSL '87TTheory and Applications of Satisfiability Testing - SAT 2008Theory and Applications of Satisfiability Testing - SAT 2008Propositional logic
TTheory and Applications of Satisfiability Testing - SAT 2008Theory and Applications of Satisfiability Testing - SAT 2008