00626    a2200205   4500020001500000082001700015090001700032100002300049245004000072260003400112300001800146650002100164650002600185650002300211650001900234700002900253942000700282999001700289952011400306  a8173197202  a005.131bCOM  c16697d25329  aThangavel, K eed.  aComputing and mathematical modeling  aNew DelhibNarosac2006g2006  ax,313p.c25cm  aComputer science  aProgramming languages  aMathematical logic  aSymbolic logic  aBalasubramaniam, P eed.  cSR  c44673d44673  001040708SRCaMAINbMAINcREFd2009-05-29l0o005.131COMp25353r2017-08-25 00:00:00v0.00w2016-10-31ySR