000			00447nam a2200181Ia 4500
008			230711s9999||||xx |||||||||||||| ||und||
020			_a978-93-81068-36-6
041			_aENG
082			_a5.133 _bSI-S
100			_aSingh,Gurdev
245		0	_aSymbolic logic and prolog
250			_a1st Ed.
260			_c2011 _aNew Delhi _bKhanna Publishers
300			_a438
650			_aComputer Engineering
700			_aBhatia,Mandeep Singh
942			_cBK
999			_c5507 _d5507