Grundlagen Des Maschinellen Beweisens
Subtitle: Eine Einfuhrung Fur Informatiker Und Mathematiker
Publisher: Vieweg+Teubner Verlag
Published: Dec 06, 2012
Format: paperback
Number of pages: 188
ISBN-13: 9783528147181
Notes: Source title: Grundlagen Des Maschinellen Beweisens: Eine Einfuhrung Fur Informatiker Und Mathematiker (German Edition)