Topology and epistemic logic; Subset spaces; Hybrid logic; Open mappings;
机译:因为努力很重要!需求工程中项目工作量评估的映射模型
机译:Landfire Remap Prototype Mapping工作:开发用于映射植被分类,变化和结构的新框架
机译:被污名化的中国制造企业通过加强企业社会责任努力对正式和非正式环境法规压力的战略反应
机译:观察努力和正式开放的映射
机译:(-)-Curvularin和Xestodecalactone A的总合成,(-)-Citreofuran,(+)-12-氧代-curvularin,(+)-Sporostatin的正式总合成,对(-)-Caylobolide A的合成。
机译:在2004年海啸之后为亚齐州1-5岁的儿童提供正式的医疗服务:哪些儿童没有得到他们需要的医疗服务?对其他自然灾害救济工作的影响
机译:不同容错机制的形式验证和测试努力分析