AGRIS - 国际农业科技情报系统

Robots arm motion representation in Petri NETS using sequent calculus

2015

Syed Uzair Ahmad


书目信息
2 ISSN 2410-0080
出版者
Selforganizology
其它主题
Petri nets; Sequent calculus.
语言
英语

2016-03-15
AGRIS AP