涉外保险管理信息系统

The Global Properties of Valid Formulas in Modal Logic K

本文给出了一个涉外保险业务管理信息系统的设计模型，着重阐述了其主要模块的设计思想和实现途径，及研制过程中的几点体会。