Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
| Tác giả khác: | |
|---|---|
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Association for Computing Machinery (ACM),
8/3/09
|
| Những chủ đề: | |
| Truy cập trực tuyến: | Full text available on Research4Life (ACM) |
Những quyển sách tương tự
Proceedings of the 1st Workshop on Speech and Multimodal Interaction in Assistive Environments
Rabbit-proof fence.
Bằng: Garimara, Doris Pilkington
Được phát hành: (2008)
Bằng: Garimara, Doris Pilkington
Được phát hành: (2008)
Proceedings of the 1st International Workshop on Future of Software Architecture Design Assistants
Proceedings of the 1st International Workshop on Internet of People, Assistive Robots and Things
Modulation Spectroscopy
Proceedings of the 1st International Workshop on Digital Libraries for Musicology
International Journal of Evidence & Proof
Modulation Transfer Function
Spatial Light Modulators
Exploring psychology in modules.
Bằng: Myers, David G, et al.
Được phát hành: (2022)
Bằng: Myers, David G, et al.
Được phát hành: (2022)
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
Proceedings of the 2015 Conference on Certified Programs and Proofs
Photovoltaic Cell and Module Technologies
Fiber Optics Multiplexing and Modulation
Proceedings of the 1st ACM SIGMOBILE international workshop on Systems and networking support for healthcare and assisted living environments
Proceedings of the 1st international convention on Rehabilitation engineering & assistive technology: in conjunction with 1st Tan Tock Seng Hospital Neurorehabilitation Meeting
Assistive Technology
Ai assistants.
Bằng: Pieraccini, Roberto
Được phát hành: (2021)
Bằng: Pieraccini, Roberto
Được phát hành: (2021)
Proceedings of the 1st ACM workshop on Workshop on AISec
Proceedings of the 1st Workshop on Digital Biomarkers
Proceedings of the 1st Workshop on Middleware for the Edge
Proceedings of the 1st Workshop on Green Computing
Spatial Light Modulators: Technology and Applications
Photovoltaic Cell and Module Technologies II
Spatial Light Modulators and Applications III
Spatial Light Modulators and Applications I
Spatial Light Modulators and Applications II
Process Module Metrology, Control and Clustering