Formalisieren und Beweisen
Subtitle: Logik Für Informatiker
Publisher: Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH
Published: 2013
Language: ger
ISBN-13: 9783322856210