Repozytorium Uniwersytetu Zielonogórskiego udostępnia 9 283 obiektów cyfrowych
Szukana fraza: [Temat i słowa kluczowe = quantum computation] lub [Temat i słowa kluczowe = predicate notion for quantum programs] lub [Temat i słowa kluczowe = quantum labelled transition systems] lub [Tytuł = Natural quantum operational semantics with predicates] lub [Autor = Sawerwain, Marek] lub [Autor = Gielerak, Roman]
Wyników: 2
AMCS, volume 29 (2019)
Sawerwain, Marek Wróblewski, Marek Gamper, Johann - ed. Wrembel, Robert - ed.
2019
artykuł
AMCS, volume 30 (2020)
Wiśniewska, Joanna Sawerwain, Marek Obuchowicz, Andrzej Korbicz, Józef (1951- ) - red. Uciński, Dariusz - red.
2020
artykuł
