学一点数理逻辑
出处
《高等数学研究》
2000年第1期33-36,40,共5页
Studies in College Mathematics
二级参考文献8
-
1李顺勇.分析水利水电工程建筑基础灌浆施工技术[J].江西建材,2015(9):121-121. 被引量:1
-
2薛沿臻,张树远,韩延举.防渗处理施工技术在水利水电工程中的应用[J].南方农业,2018,12(17):149-150. 被引量:6
-
3刘婷.水利水电工程建筑的施工技术及管理探析[J].海峡科技与产业,2018,31(4):116-118. 被引量:2
-
4司马文.试析混凝土防渗墙技术在水利水电施工中的应用[J].安徽建筑,2019,26(4):79-80. 被引量:6
-
5韩佳梅.水利水电工程建筑中混凝土防渗墙施工技术的运用[J].工程技术研究,2019,4(16):115-116. 被引量:21
-
6伍求凌.水利水电建筑工程中的基础灌浆施工技术[J].中国高新科技,2019,0(22):18-20. 被引量:4
-
7向仕林.水利水电建筑工程防渗堵漏的施工要点[J].居舍,2019,0(25):1-1. 被引量:2
-
8廖增宝.水利水电建筑工程防渗堵漏的施工要点及施工技术初探[J].中国标准化,2017(6X):177-178. 被引量:24
共引文献20
-
1赵志刚.浅谈水利水电工程防渗堵漏施工方法及其施工管理[J].产业科技创新,2019(19):61-62. 被引量:1
-
2丁帆.水利水电工程防渗技术施工要点研究[J].科学大众(科技创新),2020(8):22-22.
-
3简治中.水利水电建筑工程施工技术应用探讨[J].造纸装备及材料,2020,49(2):113-113. 被引量:3
-
4杨林,唐成方.试析水利水电建筑工程中的基础灌浆施工技术[J].珠江水运,2020(23):88-89. 被引量:2
-
5赵伏阳.水利水电工程防渗施工技术的要点探析[J].低碳世界,2020,10(12):87-88. 被引量:4
-
6吴勇俊.混凝土防渗墙施工技术在水利水电建筑工程的实践应用研究[J].中国科技投资,2020(30):174-175.
-
7吴人杰.水利水电工程中灌浆施工技术的要点透析[J].建筑与装饰,2021(14):133-134.
-
8杨林,唐成方.水利水电工程防渗施工技术[J].建筑技术开发,2021,48(11):71-72.
-
9任鹏旭,郑瑞柱.水利水电工程施工技术及管理分析[J].城市建设理论研究(电子版),2021(14):106-107.
-
10王安杰.水利水电工程防渗技术施工要点分析[J].大市场,2020(6):47-47.
-
1刘高峰,牟廉明,代锡彬.合取范式化为析取范式的DNA表面计算[J].内江师范学院学报,2009,24(6):14-16. 被引量:2
-
2张亚江.数理逻辑中主范式的存在性[J].高师理科学刊,2014,34(6):26-28.
-
3王宝丽,姚喜妍.由合取范式求主析取范式的一种新方法[J].运城学院学报,2010,28(5):15-16. 被引量:1
-
4陈昭君,刘如艳.合取范式的讨论[J].湖南商学院学报,2000,7(4):105-106.
-
5梁应仙.数理逻辑在排队论中的应用[J].沈阳航空工业学院学报,2003,20(3):77-78. 被引量:1
-
6黄世团.关于F逻辑函数的合取范式[J].贺州学院学报,1999,20(4):74-76.
-
7赵孝武,黄文奇.关于SAT问题物理模型猜想的一个反例[J].华中理工大学学报,2000,28(11):25-27.
-
8朱洪,魏景东.一般布尔表达式转化成合取范式的复杂性注记[J].微电子学与计算机,1990,7(4):11-12.
-
9林豪,赖楚生,黄文奇.对于析取范式的构造的一个全局性分析[J].计算机学报,1989,12(2):148-152. 被引量:5
-
10汤燕.主析取范式的快速求法[J].科教文汇,2008(35):276-276.
;