账务
高级检索

pubdate

1966(remove)

keyword

Key wordsAlgorithm-proof-computer-programming(remove)

二次搜索

GO
首页 > 报刊文摘
搜索 获得约1条结果,(用时0.0310秒)
排序:相关度 | 标题

Proof of algorithms by general snapshots

AbstractA constructive approach to the question of proofs of algorithms is to consider proofs that an object resulting from the execution of an algorithm possesses certain static characteristics.

出版机构:Springer Netherlands

刊物名称:Bit Numerical Mathematics

出版时间:1966

ISSN:0006-3835

数据源:报刊文摘

1