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 / 
edited by E. Borger, G. Hasenjaeger and D. Rodding 
 - Berlin :  Springer-Verlag,  1984 
 - 456 p. 
 - Lecture notes in computer science ;  no. 171 .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Machine theory--Congresses<br/>Decision-making--Congresses<br/>Computational complexity--Congresses
<br/><br/><label>LC Class. No.: </label>QA267  / S98 1983