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