TY - GEN AU - Takeichi, Masato TI - Functional & logic programming SN - 9810224370 U1 - 005.131 PY - 1995/// PB - World Scientific publishing KW - Logic Programming KW - Functional Programming ER -