首页> 外文会议>International Conference on Computational Intelligence and Software Engineering;CiSE 2009 >Formal Derivation of the String Scheme Number Combinatorics Problem with PAR Method

【24h】

Formal Derivation of the String Scheme Number Combinatorics Problem with PAR Method

机译：PAR方法对字符串方案编号组合问题的形式推导

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Not Available

机译：无法使用

著录项

来源
《International Conference on Computational Intelligence and Software Engineering;CiSE 2009》|2009年|1-3|共3页
会议地点 Wuhan(CN);Wuhan(CN)
作者
Sun Lingyu; Leng Ming;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Formal Derivation of the Combinatorics Problems with PAR Method [J] . Lingyu SUN, Yatian SUN Journal of Software Engineering and Applications . 2009,第3期

机译：PAR方法对组合问题的形式推导
2. On the existence of a compact generator on the derived category of a noetherian formal scheme [J] . Alonso Tarrío L., Jeremías López A., Pérez Rodríguez M., Applied categorical structures . 2011,第6期

机译：关于Noether形式方案的派生类别上的紧致生成器的存在
3. On the Existence of a Compact Generator on the Derived Category of a Noetherian Formal Scheme [J] . Leovigildo Alonso Tarrío, Ana Jeremías López, Marta Pérez Rodríguez, Applied Categorical Structures . 2011,第6期

机译：关于Noether形式方案派生范畴上的紧致生成器的存在性
4. Formal Derivation of the String Scheme Number Combinatorics Problem with PAR Method [C] . Lingyu SUN, Ming LENG International Conference on Computational Intelligence and Software Engineering . 2009

机译：串方案编号组合问题的正式推导方法
5. A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language FunZ. [D] . Sherrell, Linda Bostwick. 1995

机译：通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
6. Formal String Instrument Training in a Class Setting Enhances Cognitive and Sensorimotor Development of Primary School Children [O] . Clara E. James, Sascha Zuber, Elise Dupuis-Lozeron, 2020

机译：课堂设定中的正式字符串仪器培训增强了小学生的认知和传感器开发
7. Formal Derivation of the Combinatorics Problems with PAR Method [O] . Lingyu SUN, Yatian SUN 2009

机译：PAR方法对组合问题的形式推导

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号