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

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

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 in der 5. Auflage vorliegende Standardwerk macht Sie in kompakter Form mit den wesentliche...

Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, größtenteils aus dem Bereich der...

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

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

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