首页 | 本学科首页   官方微博 | 高级检索  
     检索      

用形式化技术求河内塔的并行解
作者单位:桂林电子工业学院,广西桂林,541004;桂林航天工业高等专科学校,广西桂林,541004
摘    要:

关 键 词:河内塔问题  形式化技术  并行程序  UNITY  MPI
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号