Home›Books›Program development in computational logicProgram development in computational logicby Maurice Bruynooghe, Kung-Kiu LauNo description available.Logic programmingComputer logicComputer science, mathematicsLogic, symbolic and mathematical