Filtrele
A backwards theorem prover with focusing, resource management and constraints for robotic planning within intuitionistic linear logic
Robotik planlama için odaklanma, kaynak yönetimi ve kısıtlamaların katılarak hedefe yönelik teorem ispatlamanın sezgisel doğrusal mantıkta gerçekleştirimi
Yükleniyor
Tez No: 255979
Arama sonucunda 1 kayıt bulundu.