Direkt zum Inhalt
Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

AKTUELLE PARTNERANGEBOTE

Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

Binding : Taschenbuch, Edition : 1989, Label : Vieweg+Teubner Verlag, Publisher : Vieweg+Teubner Verlag, medium : Taschenbuch, numberOfPages : 184, publicationDate : 1989-01-01, authors : . Dieter Hofbauer, languages : german, ISBN : 3528047186

2 Angebote · ab 54,99 € gemeldete Gesamtkosten