Mathematisch-strukturelle Grundlagen der Informatik
Series: Springer-Lehrbuch
Publisher: Springer Berlin Heidelberg
Published: 1999
Place of publication: Berlin, Heidelberg
Language: ger
Format: Elektronische Ressource
ISBN-13: 9783642979866
Subjects: Mengenlehre; Kategorientheorie; Algebraische Spezifikation; Aussagenlogik; Prädikatenlogik
Notes: Lizenzpflichtig

Langzeitarchivierung gewährleistet LZA