Grundlagen des maschinellen Beweisens
Subtitle: Eine Einführung für Informatiker und Mathematiker
Publisher: Vieweg+Teubner Verlag
Published: Jan 01, 1989
Format: paperback
Number of pages: 184
ISBN-13: 9783528047184
Notes: Source title: Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker (Delaware Edition)