Taras Shevchenko National University of Kyiv, Ukraine;
机译:在Mizar中采用组合命名方法进行程序形式化
机译:构成 - 提名逻辑作为机构
机译:作为机构的多排序一阶成分-主格逻辑
机译:信息系统开发中的重型,合成性和名义
机译:基于模型的网络体系系统的组成验证方法和工具开发
机译:eBASIS(食品信息系统中的生物活性物质)和生物活性摄入量:生物活性化合物组成和有益生物效应数据库的重大更新以及开发评估欧洲摄入量的概率模型
机译:使用通用内部编程系统(GIpsY)进行评估 高阶内涵逻辑(HOIL)表达式
机译:军队发展评估中心:一个充满活力的指挥序列主要职位的示范。