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 Universitat Munster / Westfalen
Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universitat Munster / Westfalen)
creator
Borger, E.
Hasenjaeger, G.
text
conference publication
gw
Berlin
Springer-Verlag
1984
monographic
eng
456 p.
edited by E. Borger, G. Hasenjaeger and D. Rodding
Machine theory
Congresses
Decision-making
Congresses
Computational complexity
Congresses
QA267 S98 1983
Lecture notes in computer science ; no. 171
110531
20260818153657.0