Suchergebnis

Cover von Grundlagen des maschinellen Beweisens
eine Einführung für Informatiker und Mathematiker
Verfasser/in: Hofbauer, Dieter; Kutsche, Ralf-Detlef Suche nach diesem Verfasser
Jahr: 1989
Mediengruppe: B.Sach.Erw/L.sagg.ad
OPEN V 10.1.3.0