von
Preis unbekannt
Anna Frid
Alphabet Erfüllbarkeitsproblem der Aussagenlogik Graph algorithm analysis automata theory classification complexity computability cryptography formal language linear optimization logic satisfiability verification word problems