Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
| مؤلفون آخرون: | |
|---|---|
| التنسيق: | الكتروني كتاب الكتروني |
| اللغة: | الإنجليزية |
| منشور في: |
Association for Computing Machinery (ACM),
8/3/09
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | Full text available on Research4Life (ACM) |
مواد مشابهة
Proceedings of the 1st Workshop on Speech and Multimodal Interaction in Assistive Environments
Rabbit-proof fence.
حسب: Garimara, Doris Pilkington
منشور في: (2008)
حسب: Garimara, Doris Pilkington
منشور في: (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.
حسب: Myers, David G, وآخرون
منشور في: (2022)
حسب: Myers, David G, وآخرون
منشور في: (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.
حسب: Pieraccini, Roberto
منشور في: (2021)
حسب: Pieraccini, Roberto
منشور في: (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