Prologde Hans Kleine Büning, Stefan SchmitgenEdiciones (1)Prolog (2012)Vieweg+Teubner Verlag · ISBN 9783519024842Más obras de Hans Kleine BüningAussagenlogik: Deduktion und AlgorithmenPrologPrologComputer Science Logic
TTheory and Applications of Satisfiability Testing - SAT 2008Theory and Applications of Satisfiability Testing - SAT 2008