FAO AGRIS - International System for Agricultural Science and Technology

Robots arm motion representation in Petri NETS using sequent calculus

2015

Syed Uzair Ahmad


Bibliographic information
Volume 2 ISSN 2410-0080
Publisher
Selforganizology
Other Subjects
Petri nets; Sequent calculus.
Language
English

2016-03-15
AGRIS AP