×

兹马思-数学第一资源

模非线性算法和超越函数的可满足性和验证的增量线性化。(英语) Zbl 1407.68285号

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
PDF格式 BibTeX公司 引用
全文: 内政部