Robot-Proof
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
The MIT Press
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | Full text available on Project MUSE [9/10/17] |
Նմանատիպ նյութեր
Proof
: Williams
: Williams
Proofs
Proof of Guilt
: Cairns
: Cairns
Rabbit-proof fence.
: Garimara, Doris Pilkington
Հրապարակվել է: (2008)
: Garimara, Doris Pilkington
Հրապարակվել է: (2008)
International Journal of Evidence & Proof
Proceedings of the 2015 Conference on Certified Programs and Proofs
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
Robots
: Jordan
: Jordan
Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs
Robotics and Robot Sensing Systems
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs
Robot Vision
Medieval Robots
: Truitt
: Truitt
The robot book.
: Malone, Robert
Հրապարակվել է: (1978)
: Malone, Robert
Հրապարակվել է: (1978)
The robot book.
: Malone, Robert
Հրապարակվել է: (1978)
: Malone, Robert
Հրապարակվել է: (1978)
Robot ethics.
: Coeckelbergh, Mark
Հրապարակվել է: (2022)
: Coeckelbergh, Mark
Հրապարակվել է: (2022)
The robot book.
: Malone, Robert
Հրապարակվել է: (1978)
: Malone, Robert
Հրապարակվել է: (1978)