000			01685nam a22004335a 4500
005			20250914164716.0
006			m d
007			cr nn 008maaau
008			090217s2005 gw j eng d
020			_a9783540273592 (electronic bk.)
020			_a9783540211464 (paper)
035			_a(Springer)978-3-540-21146-4
039		9	_a200902171211 _bmuhaimin _c200902171152 _dmuhaimin _c200902021307 _dmuhaimin _c200809161713 _dmuhaimin _y04-03-2008 _zmuhaimin
050	0	0	_aQA267 _b.K58 2005
082	0	0	_a511.3 _222
090			_aQA267 _b.K66 2005
100	1		_aKluge, W.
245	1	0	_aAbstract Computing Machines _h[electronic resource] : _bA Lambda Calculus Perspective / _cby W. Kluge ; edited by W. Brauer, G. Rozenberg, A. Salomaa.
260			_aBerlin, Heidelberg : _bSpringer-Verlag Berlin Heidelberg, _c2005.
300			_axiv, 384 p. : _b89 fig., digital ; _c25 cm.
440		0	_aTexts in Theoretical Computer Science, An EATCS Series
650		0	_aMachine theory.
650		0	_aLambda calculus.
650	1	4	_aComputer Science.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aLogics and Meanings of Programs.
700	1		_aBrauer, W.
700	1		_aRozenberg, G.
700	1		_aSalomaa, A.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer e-books
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/b138965
907			_a.b14111111 _b2022-04-06 _c2019-11-12
942			_n0 _kQA267 .K66 2005
914			_avtls003368522
998			_ae _b2008-03-04 _cm _dz _feng _ggw _y0 _z.b14111111
999			_c407093 _d407093