QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 专题：兰州大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 用法律的观点评价现代规范逻辑 期刊论文 兰州学刊, 1997, 期号: 3, 页码: 20-23 作者:  陶景侃 收藏  |  浏览/下载：1/0  |  提交时间：2016/07/19 规范逻辑:8082  规范命题:2589  现代规范:2425  模态逻辑:2164  形式语言:2058  合式公式:1963  命题演算:1760  规范公式:1509  法律规范:1432  实在法:1371   吴方法在偏微分方程中应用的一个实例 期刊论文 兰州大学学报(自然科学版), 1996, 期号: 3, 页码: 4 作者:  李志斌;  张善卿 收藏  |  浏览/下载：1/0  |  提交时间：2016/07/28 广义KdV方程  孤立波解  符号演算  吴方法   符号逻辑概述 期刊论文 兰州学刊, 1983, 期号: 1, 页码: 51-57+50 作者:  陶景侃 收藏  |  浏览/下载：0/0  |  提交时间：2016/07/19 符号逻辑:5863  元语言:4391  逻辑演算:3645  对象语言:3072  指号:2429  数学:2136  永真:2077  X类:1762  命题形式:1724  简单命题:1653