Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Wegen Wartungsarbeiten ist vom 12. bis 14. Januar 2026 der Museumslesesaal, sowie vom 14. bis 16. Januar 2026 der Musiklesesaal geschlossen. // Due to maintenance work the museum reading room will be closed from 12 to 14 January 2026 and the music reading room from 14 to 16 January 2026.
 
 

Ergebnis der Suche nach: "174088558"



Treffer 35 von 46 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/840522398
Titel Logic and machines: decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik", held from May 23 - 28, 1983, at the Inst. für Math. Logik u. Grundlagenforschung d. Univ. Münster/Westfalen / ed. by E. Börger ...
Person(en) Börger, Egon (Herausgeber)
Organisation(en) Symposium Rekursive Kombinatorik (1983 : Münster (Westf)) (Herausgebendes Organ)
Westfälische Wilhelms-Universität Münster. Institut für Mathematische Logik und Grundlagenforschung (Herausgebendes Organ)
Verlag Berlin ; Heidelberg ; New York ; Tokyo : Springer
Zeitliche Einordnung Erscheinungsdatum: 1984
Umfang/Format VI, 456 S. : graph. Darst. ; 25 cm
ISBN/Einband/Preis 978-3-540-13331-5 (Berlin ...) kart. : DM 52.00
3-540-13331-3 (Berlin ...) kart. : DM 52.00
978-0-387-13331-7 (New York ...) kart.
0-387-13331-3 (New York ...) kart.
Beziehungen Lecture notes in computer science ; Vol. 171
Anmerkungen Literaturangaben
Status nach VGG: lieferbar
Schlagwörter Automatentheorie ; Entscheidung <Math.> ; Komplexität <Math.> ; Automatentheorie ; Entscheidungstheorie ; Komplexität (Mathematik)
Sachgruppe(n) 28 Informatik, Datenverarbeitung

Frankfurt Signatur: D 84/21643
Bereitstellung in Frankfurt
Leipzig Signatur: SA 24055-171
Bereitstellung in Leipzig




Treffer 35 von 46
< < > <


E-Mail-IconAdministration