Automatisierung von Terminierungsbeweisen
Series: Artificial Intelligence / Künstliche Intelligenz
Publisher: Vieweg+Teubner Verlag
Published: 1991
Place of publication: Wiesbaden
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783322854049
Subjects: Algorithmus; Automatisches Beweisverfahren; Terminierung
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA