000			01842nam a22004337a 4500
001			sulbI000712
003			BD-SySUS
005			20160522151846.0
008			160522s2011 gw a b 101 0 eng d
020			_z978642209192
040			_aHUA _beng _cHUA _erda _dBD-SySUS
082	0	0	_a005.1015113 _223 _bLOG
111	2		_aWorkshop on Logic, Language, Information and Computation _n(20th : _d2013 : _cDarmstadt, Germany) _924539
245	1	0	_aLogic, language, information, and computation : _b18th International Workshop,WoLLIC2011 Philadephia, PA, USA, May 18-20, 2011 Proceedings / _cLev D. Beklemishev, Ruy de queiroz(eds.).
260			_aBerlin. : _bSpringer. _c2011.
300			_ax, 309 pages : _billustrations ; _c22 cm.
490	1		_aLecture notes in computer science, _x0302-9743 ; _v8071
490	1		_aLNCS sublibrary. SL 1, Theoretical computer science and general issues.
504			_aIncludes bibliographical references and index.
650		0	_aComputer logic _vCongresses. _924540
650		0	_aLogic, Symbolic and mathematical _vCongresses. _924412
650		7	_aComputer logic. _2fast _924541
650		7	_aLogic, Symbolic and mathematical. _2fast _912531
650	0	7	_aBerechnungstheorie. _2gnd _924542
650	0	7	_aFormale Grammatik. _2gnd _924543
650	0	7	_aFormale Methode. _2gnd _924544
650	0	7	_aFormale Syntax. _2gnd _924545
650	0	7	_aK�unstliche Intelligenz. _2gnd _924546
650	0	7	_aLogik. _2gnd _924547
650	0	7	_aNat�urliche Sprache. _2gnd _924548
650	0	7	_aProgrammierlogik. _2gnd _924549
650	0	7	_aProgrammiersprache. _2gnd _924550
650	0	7	_aTheoretische Informatik. _2gnd _924551
655		4	_aKongress _zDarmstadt _y2013. _924552
655		7	_aConference proceedings. _2fast _924553
700	1		_aBeklemishev, Lev D. _924554
700	1		_4Queiroz, Ruy de queiroz
942			_2ddc _cBK
999			_c60610 _d60610