Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker Cu Dieter Hofbauer et al. oct 1991 Paperback Preț: 310.74 lei 6-8 săpt.
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker Autor Dieter Hofbauer et al. 1989 Paperback Preț: 473.22 lei 6-8 săpt.