- Tytuł:
- O pewnych zastosowaniach eliminacji kwantyfikatorów w robotyce
- Autorzy:
- Szałas, A.
- Data publikacji:
- 2006
- Wydawca:
- Warszawska Wyższa Szkoła Informatyki
- Tematy:
-
kwantyfikatory
robotyka
techniki logistyczne
quantifiers
robotics
logical methods - Pokaż więcej
- Źródło:
-
Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2006, 1, 1; 139-147
1896-396X
2082-8349 - Dostawca treści:
- Biblioteka Nauki
Artykuł
