000			02054n a2200361#a 4500
001			5939
003			P5A
005			20240404163335.0
008			840418s1984 gw a b 100 0 eng
010			_a84005546
020			_a0387133313 (U.S. : pbk.)
035			_aocm10754176
035			_aRecord 11723
040			_aDLC _cDLC
049			_aP5AA
082	0		_a511
090			_acolm
111	2		_aSymposium "Rekursive Kombinatorik" _d(1983 : _cInstitut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen).
245	1	0	_aLogic and machines: _bdecision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der UniversitÌat Münster/Westfalen/ _cedited by E. Börger, G. Hasenjaeger, and D. Rödding.
260			_aBerlin ; _aNew York: _bSpringer-Verlag, _c1984.
300			_avi, 456 p.: _bill.; _c25 cm.
504			_aIncludes bibliographies.
650		0	_aMachine theory- _xCongresses. _928987
650		0	_aComputational complexity- _xCongresses. _926735
650	0	4	_aDecision-making- _xCongresses. _927652
697			_aColeções de Monografias. _923736
700	1		_aBorger, E. _q(Egon), _d1946- _940857
700	1		_aHasenjaeger, G. _q(Gisbert), _d1919- _940855
700	1		_aRödding, D. _q(Dieter), _d1937- _940856
942			_2impa _cBK
999			_aSYMPOSIUM "REKURSIVE KOMBINATORIK", 1983 :. Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen.; BORGER, E.; HASENJAEGER, G.; RÖDDING, D. <b> Logic and machines: </b> decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der UniversitÌat Münster/Westfalen. Berlin ; New York: Springer-Verlag, 1984. vi, 456 p. (Lecture notes in computer science. 171). ISBN 0387133313 (U.S. : pbk.). _c6999 _d6999
490		0	_aLecture notes in computer science, _v171. _944234