发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2013 Computer Science and Information Technologies (CSIT) - Yerevan, Armenia (2013.09.23-2013.09.27)] Ninth International Conference on Computer Science and Information Technologies Revised Selected Papers - SAT-based approaches to verification of logical descriptions with functional indeterminacy

[IEEE 2013 Computer Science and Information Technologies (CSIT) - Yerevan, Armenia (2013.09.23-2013.09.27)] Ninth International Conference on Computer Science and Information Technologies Revised Selected Papers - SAT-based approaches to verification of logical descriptions with functional indeterminacy

Cheremisinova, Liudmila D.

作者Cheremisinova, Liudmila D.
文件大小1925.83KB
发表时间2013
DOI10.1109/csitechnol.2013.6710327
页码1-10

← 返回【学霸图书馆】主页