Reasoning about Grover s Quantum Search Algorithm Using Probabilistic wp

Вы здесь

Автор:

Butler M.

Hartel P.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1999

Ключевые слова:

верификация

алгоритм

Стр.:

P.417-429.

Библиография:

Bibliogr.: p.429

Источник:

ACM Trans. on Programming Languages and Systems

Номер:

Том:

Карточка:

Б2.12, Б4.13.

Butler M., Hartel P..

Reasoning about Grover s Quantum Search Algorithm Using Probabilistic wp// ACM Trans. on Programming Languages and Systems-1999, №3.-Vol. 21.-P.417-429.
Bibliogr.: p.429

Таблица в старой библиотеке:

ACM6 197