×
阿列克桑德·卡比雪夫；尼古拉·比约纳；沙迦·伊扎基；诺姆·里内茨基；沙龙·肖姆

普适不变量的属性定向推理或证明其缺失。 （英语） Zbl 1426.68050号

美国临床医学杂志 64，第1号，第7条，33页（2017年）.

引用于4文件

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
03B70号 计算机科学中的逻辑

关键词：

电子顺磁共振；集成电路3；PDR公司；泛不变量；属性定向可达性
PDF格式BibTeX公司 XML格式引用
\textit{A.Karbyshev}等人，J.ACM 64，第1号，第7条，33页（2017年；Zbl 1426.68050）
全文： DOI程序