Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
| Інші автори: | |
|---|---|
| Формат: | Електронний ресурс eКнига |
| Мова: | Англійська |
| Опубліковано: |
Association for Computing Machinery (ACM),
8/3/09
|
| Предмети: | |
| Онлайн доступ: | Full text available on Research4Life (ACM) |
Схожі ресурси
Proof
за авторством: Williams
за авторством: Williams
Proofs
Proof of Guilt
за авторством: Cairns
за авторством: Cairns
Robot-Proof
за авторством: Aoun
за авторством: Aoun
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