首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
Special Issue: PLACES 2016 foreword
被引:0
作者
:
Orchard, Dominic
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Kent, Sch Comp, Canterbury, Kent, England
Univ Kent, Sch Comp, Canterbury, Kent, England
Orchard, Dominic
[
1
]
Yoshida, Nobuko
论文数:
0
引用数:
0
h-index:
0
机构:
Imperial Coll London, Dept Comp, London, England
Univ Kent, Sch Comp, Canterbury, Kent, England
Yoshida, Nobuko
[
2
]
机构
:
[1]
Univ Kent, Sch Comp, Canterbury, Kent, England
[2]
Imperial Coll London, Dept Comp, London, England
来源
:
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
|
2017年
/ 90卷
关键词
:
D O I
:
10.1016/j.jlamp.2017.05.004
中图分类号
:
TP301 [理论、方法];
学科分类号
:
081202 ;
摘要
:
引用
收藏
页码:1 / 1
页数:1
相关论文
共 1 条
[1]
Orchard Dominic A., 2016, P 9 WORKSH PROGR LAN, V211
←
1
→
共 1 条
[1]
Orchard Dominic A., 2016, P 9 WORKSH PROGR LAN, V211
←
1
→