Dieses in der 5. Auflage vorliegende Standardwerk macht Sie in kompakter Form mit den wesentli...
Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Besta...
The satisfiability problem of propositional logic, SAT for short, is the first algorithmic proble...
Dieses Lehrbuch, entstanden aus einer Anfängervorlesung aus dem Informatik-Studiengang an der Lei...
Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der...
This book introduces the notions and methods of formal logic from a computer science standpoint, ...
Der größte Stolperstein in den ersten Semestern eines Informatik- oder Ingenieurstudiums ist für ...
Das Kompendium - im Rahmen einer Vorlesung an der Universität Ulm entstanden - ist kein Vorlesung...
The satisfiability problem of propositional logic, SAT for short, is the first algorithmic proble...
SAT (für satisfiability) ist der Name des bekanntesten NP-vollständigen Problems, des Erfüllbarke...
Dieses Lehrbuch, entstanden aus einer Anfängervorlesung aus dem Informatik-Studiengang an der Lei...
This book introduces some of the most important results in theoretical computer science. The 'gem...