Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
| Andre forfattere: | |
|---|---|
| Format: | Electronisk eBog |
| Sprog: | engelsk |
| Udgivet: |
Association for Computing Machinery (ACM),
8/3/09
|
| Fag: | |
| Online adgang: | Full text available on Research4Life (ACM) |
Lignende værker
Proceedings of the 1st Workshop on Speech and Multimodal Interaction in Assistive Environments
Rabbit-proof fence.
af: Garimara, Doris Pilkington
Udgivet: (2008)
af: Garimara, Doris Pilkington
Udgivet: (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.
af: Myers, David G, et al.
Udgivet: (2022)
af: Myers, David G, et al.
Udgivet: (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.
af: Pieraccini, Roberto
Udgivet: (2021)
af: Pieraccini, Roberto
Udgivet: (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