TY - BOOK A1 - / Yun-Heh Chen-Burger and Dave Robertson TI - Automating business modelling a guide to using logic to represent informal methods and support reasoning PB - کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان SN - 103030659 UR /book/103030659/Automating-business-modelling-a-guide-to-using-log/ ER -