TY - GEN AU - Thangavel, K AU - Balasubramaniam, P TI - Computing and mathematical modeling SN - 8173197202 U1 - 005.131 PY - 2006/// CY - New Delhi PB - Narosa KW - Computer science KW - Programming languages KW - Mathematical logic KW - Symbolic logic ER -