Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
| Daljnji autori: | Rabe |
|---|---|
| Format: | Elektronički e-knjiga |
| Jezik: | engleski |
| Izdano: |
Association for Computing Machinery (ACM),
8/3/09
|
| Teme: | |
| Online pristup: | Full text available on Research4Life (ACM) |
Slični predmeti
Proceedings of the 1st Workshop on Speech and Multimodal Interaction in Assistive Environments
Rabbit-proof fence.
od: Garimara, Doris Pilkington
Izdano: (2008)
od: Garimara, Doris Pilkington
Izdano: (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.
od: Myers, David G, i dr.
Izdano: (2022)
od: Myers, David G, i dr.
Izdano: (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.
od: Pieraccini, Roberto
Izdano: (2021)
od: Pieraccini, Roberto
Izdano: (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
Slični predmeti
-
Proof
od: Williams - Proofs
-
Proof of Guilt
od: Cairns -
Robot-Proof
od: Aoun - Proceedings of the 1st Workshop on Speech and Multimodal Interaction in Assistive Environments