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

Bibliographic Details
Other Involved Persons: Börger, Egon (Editor) ; Hasenjaeger, Gisbert (Editor) ; Symposium Rekursive Kombinatorik
Format: Book
Language:English
Published: Berlin Heidelberg [u.a.] : Springer 1984
ISBN:3540133313
9783540133315
0387133313
9780387133317
9783540388562
3540388567
Series:Lecture notes in computer science 171
Item Description:Literaturangaben
Physical Description:VI, 456 S graph. Darst
Subjects:
Other Editions:Show all 3 Editions
QR Code: Show QR Code