The classical decision problem

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Börger, Egon (VerfasserIn), Grädel, Erich 1958- (VerfasserIn), Gurevich, Yuri (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Berlin [u.a.] Springer 1997
Schriftenreihe:	Perspectives in mathematical logic
Schlagworte:	Decidability (Mathematical logic) Logik Entscheidungsproblem
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

The classical decision problem von Börger, Egon, Grädel, Erich 1958-, Gurevich, Yuri

Veröffentlicht 2001

Buch