ФАО АГРИС — международная информационная система по сельскохозяйственным наукам и технологиям

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