The satisfiability problem of propositional logic, SAT for short, is the first algorithmic proble...

Dieses in der 5. Auflage vorliegende Standardwerk macht Sie in kompakter Form mit den wesentliche...

Der größte Stolperstein in den ersten Semestern eines Informatik- oder Ingenieur­studiums ist für...

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Besta...

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...

Dieses Lehrbuch der Algorithmik stellt die grundlegenden Algorithmen dar und vermittelt die Prinz...

By the development of new fields and applications, such as Automated Theorem Proving and Logic Pr...

While I was visiting Boston University during the 1996-97 academic year, I noticed a small book, ...

Preliminaries.- Circuit-size complexity.- Probabilistic Algorithms.- Sparse sets.- The low and hi...