TY - BOOK AU - Chen-Burger, Yun-Heh AU - Robertson, Dave TI - Automating Business Modelling: a guide to using logic to represent informal methods and support reasoning SN - 1852338350 U1 - 338.501 CHE PY - 2005/// CY - London PB - Springer Verlag KW - Industrial management -- Computer simulation KW - Industrial management -- Mathematical models KW - Business -- Mathematical models KW - Business -- Computer simulation ER -