×
切换导航
关于
常见问题
审阅者服务
联系人
偏好
每页点击数
10
20
50
100(默认)
200
显示格式
MathJax(默认)
乳胶
文档排序
最新的第一个(默认)
引文
关联
作者排序
按字母顺序(默认)
引文
序列号排序
按字母顺序(默认)
引文
软件排序
引文(默认)
按字母顺序
好 啊
文件
作者
系列
软件
分类
福尔穆尔
结构化搜索
搜索
字段
任何:
任意位置(默认)
ab公司:
描述
澳大利亚:
作者
抄送:
分类
第1页:
程序设计语言
硅:
swMATH ID
软件:
软件名称
美国犹他州:
关键字
操作员
一个
&
b条
逻辑和(默认)
一个
|
b条
逻辑或
!
实验室
逻辑不是
美国广播公司
*
右通配符
"
ab c公司
"
短语
(
ab c公司
)
圆括号
帮助
示例
sw:鼠尾草*
搜索特定的软件包。
ab:geometry和ut:ORMS
搜索描述中包含单词“geometry”且具有关键字ORMS(Oberwolfach Registry of Mathematical software)的软件包。
运算符“&”是默认值,可以省略。
抄送:13 | 14
搜索MSC第13和14节中的文章引用的软件包。
GAP au:Eick公司
在“任意”索引中搜索术语(也包括依赖项),并按软件作者搜索。
pl:Java和ab:R
搜索描述中包含“R”的Java编程软件包
单行搜索
软件名称:
软件作者:
描述:
语言:
swMATH ID:
主要字段:
关键词:
任何地方:
全部清除
搜索
第页
1
属于
1
弗斯特
上一个
♦
下一步
最后
找到2个软件包
(结果1-2)
引文
按字母顺序
网址(Ur/Web)
引用于8份文件
(2016–2022)
软件作者:
Chlipala,A。
相关软件:
链接;
FlowFox;
CoSMed…
主要字段:
计算机科学(68-XX)
xCBL公司
在0个文档中引用
软件作者:
xCBL.org网站
相关软件:
甲骨文;
XQuery;
保护…
主要字段:
–
筛选结果依据…
全部的
前5名
相关软件
伊莎贝尔
(1)
伊莎贝尔/HOL
(1)
伊萨尔
(1)
函数
(1)
弹丸
(1)
大锤
(1)
蛋糕ML
(1)
区域设置
(1)
ConfiChair公司
(1)
seL4级
(1)
XPath(XPath)
(1)
甲骨文公司
(1)
MS SQL服务器
(1)
DB2数据库
(1)
Jif公司
(1)
XPERANTO公司
(1)
CoSMed公司
(1)
网址(Ur/Web)
(1)
Protege公司
(1)
奥西根
(1)
被子
(1)
霍普.js
(1)
单足蹦跳
(1)
github
(1)
JSLINQ公司
(1)
塞林克
(1)
CAVA LTL模型检查器
(1)
链接
(1)
xCBL公司
(1)
FlowFox公司
(1)
威斯特利亚
(1)
主字段
68倍
(1)
© 2024
FIZ卡尔斯鲁厄股份有限公司
隐私政策
法律声明
条款和条件
(在新选项卡中打开)