Prologde Hans Kleine Büning, Stefan SchmitgenMateriasPROLOG (Programmiersprache)PROLOGEdiciones (1)Prolog (1988)Vieweg+Teubner Verlag · alemán · ISBN 9783322895424Má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