Grundlagen des maschinellen Beweisens
Subtitle: Eine Einführung für Informatiker und Mathematiker
Publisher: Vieweg+Teubner Verlag
Published: 1989
Place of publication: Wiesbaden
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783322842237
Subjects: Automatisches Beweisverfahren; Automatisiertes Beweisverfahren
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA