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,...
Entscheidungsprozeduren: Ein algorithmischer Gesichtspunkt - Decision Procedures: An Algorithmic Point of View
<<
1
>>

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)