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)