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

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

AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATION

AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATION

DENNEY, EWEN; FISCHER, BERND; SCHUMANN, JOHANN

期刊名称International Journal on Artificial Intelligence Tools
作者DENNEY, EWEN; FISCHER, BERND; SCHUMANN, JOHANN
卷第15卷
期第1期
印刷ISSN0218-2130
电子ISSN1793-6349
文件大小651.95KB
发表时间2006-02
DOI10.1142/S0218213006002576
页码81-107

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