000 00500 a2200193 4500
020 _a8173197202
082 _a005.131
_bCOM
090 _c16697
_d25329
100 _aThangavel, K
_eed.
245 _aComputing and mathematical modeling
260 _aNew Delhi
_bNarosa
_c2006
_g2006
300 _ax,313p.
_c25cm
650 _aComputer science
650 _aProgramming languages
650 _aMathematical logic
650 _aSymbolic logic
700 _aBalasubramaniam, P
_eed.
942 _cSR
999 _c44673
_d44673