Vorstellung des Autors Daniel Kroening:

Bisher veröffentlichte Bücher von Daniel Kroening:

Entscheidungsprozeduren: Ein algorithmischer Gesichtspunkt - Decision Procedures: An Algorithmic...

Ein Entscheidungsverfahren ist ein Algorithmus,...