Automated Theorem Proving
Publisher: Vieweg+Teubner Verlag
Published: 1982
Place of publication: Wiesbaden
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783322901002
Subjects: Automatentheorie; Automatisches Beweisverfahren; Beweis (Mathematik)
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA