Arama sonucunda 1 kayıt bulundu.
EXPERIMENTS IN INTEGRATING CONSTRAINTS WITH LOGICAL REASONING FOR ROBOTIC PLANNING WITHIN THE TWELF LOGICAL FRAMEWORK AND THE PROLOG LANGUAGE
Robotik planlamayı gerçekleştirmek için mantıksal muhakeme ile kısıtlamaların twelf mantıksal çatısı ve prolog dili içerisinde birleştirilmesine yönelik denemeler
Yükleniyor
Tez No: 177160