000			01986nam a2200457 i 4500
001			EBC6954883
003			MiAaPQ
005			20250828022237.0
006			m o d |
007			cr cnu||||||||
008			241118s2018 xx o 001 0 eng d
020			_z9781970001969 _q(print)
020			_a9781970001976 _q(electronic bk.)
035			_a(MiAaPQ)EBC6954883
035			_a(Au-PeEL)EBL6954883
035			_a(OCoLC)1314627072
040			_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ
050		4	_aQA76.615 _b.D435 2018
082	0		_a005.131 _223
245	0	0	_aDeclarative Logic Programming : _bTheory, Systems, and Applications / _cMichael Kifer and Yanhong Annie Liu, editors.
250			_aFirst edition.
264		1	_a[Place of publication not identified] : _bAssociation for Computing Machinery, _c[2018]
264		4	_c�2018
300			_a1 online resource (xx, 595 pages).
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aACM books ; _vNumber 20
500			_aIncludes index.
588			_aDescription based on print version record.
590			_aElectronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650		0	_aDeclarative programming. _9731347
650		0	_aLogic programming.
655		4	_aElectronic books. _935142
700	1		_aKifer, M. _q(Michael), _d1954- _eeditor. _9731348
700	1		_aLiu, Yanhong Annie, _eeditor. _9731349
776	0	8	_iPrint version: _tDeclarative Logic Programming : Theory, Systems, and Applications. _bFirst edition. _d[Place of publication not identified] : Association for Computing Machinery, c2018 _hxx, 595 pages _kACM books ; Number 20. _z9781970001969
797	2		_aProQuest (Firm)
830		0	_aACM books ; _vNumber 20. _9731350
856	4	0	_uhttps://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=6954883 _zClick to View
999			_c371442 _d371442