Grundlagen des maschinellen Beweisens
Subtitle: Eine Einführung für Informatiker und Mathematiker
Edition: 2., verbesserte Auflage
Publisher: Vieweg+Teubner Verlag
Published: 1991
Place of publication: Wiesbaden
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783663076810
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA