Berechenbarkeit, Komplexität, Logik Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Literaturverz. S. 423 - 451

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Börger, Egon (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Braunschweig, Wiesbaden Vieweg 1992
Ausgabe:	3., verb. und erw. Aufl.
Schlagworte:	Computational complexity > Logic, symbolic and mathematical > Computable functions > Berechenbarkeit > Prädikatenlogik
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!