00964cam a2200193 a 450000500170000000800410001703500150005805000200007311101450009324502960023826000370053430000110057144000490058265000310063165000320066265000410069470000150073570000200075020260818153657.0110531s1984    gw      r     100|0 eng |  a.b1040729700aQA267bS98 19832 aSymposium "Rekursive Kombinatorik"d(1983 :cInstitut für Mathematische Logik und Grundlagenforschung der Universitat Munster / Westfalen)10aLogic and machines: decision problems and complexity :bproceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universitat Munster / Westfalen /cedited by E. Borger, G. Hasenjaeger and D. Rodding  aBerlin :bSpringer-Verlag,c1984  a456 p. 0aLecture notes in computer science ;vno. 171 0aMachine theoryvCongresses 0aDecision-makingvCongresses 0aComputational complexityvCongresses1 aBorger, E.1 aHasenjaeger, G.