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

普遍不变量的性质导向推理或证明其不存在。 （英语） 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）
全文： 内政部