أجريس - النظام الدولي للعلوم الزراعية والتكنولوجيا

Robots arm motion representation in Petri NETS using sequent calculus

2015

Syed Uzair Ahmad


المعلومات البيبليوغرافية
المجلد 2 الرقم التسلسلي المعياري الدولي (ردمد) 2410-0080
الناشر
Selforganizology
مواضيع أخرى
Petri nets; Sequent calculus.
اللغة
إنجليزي

2016-03-15
AGRIS AP