[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in...

  • Main
  • [IEEE 2019 34th Annual ACM/IEEE...

[IEEE 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Vancouver, BC, Canada (2019.6.24-2019.6.27)] 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Quantum Hoare Logic with Ghost Variables

Unruh, Dominique
Наскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
Рік:
2019
Мова:
english
DOI:
10.1109/lics.2019.8785779
Файл:
PDF, 537 KB
english, 2019
Виконується конвертація в
Конвертація в не вдалась