Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker Cu Dieter Hofbauer et al. oct 1991 Paperback Preț: 317.09 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ț: 482.94 lei 6-8 săpt.