Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Börger, E, Hasenjaeger, G, Rödding, D
Format:	Buch
Sprache:	eng
Schlagworte:	Computation by Abstract Devices Computer Science Logic, Symbolic and mathematical Mathematical Logic and Formal Languages Mathematical Logic and Foundations Mathematics Mathematics, general
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!