Results
|
1.
|
|
|
2.
|
|
|
3.
|
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 Frundlagenforschung der UniversitÌat Münster/Westfalen/ edited by E. Börger, G. Hasenjaeger, and D. Rödding. by
- Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)
- Borger, E. (Egon), 1946-
- Hasenjaeger, G. (Gisbert), 1919-
- Rödding, D. (Dieter), 1937-
Series: Lecture notes in computer science ; 171.
Publication details: Berlin ; New York: Springer-Verlag, 1984
Availability: Items available for loan: Castorina (1).
Found in Open Library:
|