Prologde Hans Kleine Büning, Stefan SchmitgenEdiciones (1)Prolog (1986)Vieweg+Teubner Verlag · alemán · ISBN 9783322927477Má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