00423    a2200157   4500020001500000082001700015100002300032245004000055260003400095300001800129650002100147650002600168650002300194650001900217700002900236  a8173197202  a005.131bCOM  aThangavel, K eed.  aComputing and mathematical modeling  aNew DelhibNarosac2006g2006  ax,313p.c25cm  aComputer science  aProgramming languages  aMathematical logic  aSymbolic logic  aBalasubramaniam, P eed.