Przeglądaj przez Autor Jaszczak, Adrian
Pokazuję rezultaty 1 do 4 z 4
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2020 | General Theory and Tools for Proving Algorithms in Nominative Data Systems | Jaszczak, Adrian | - | - |
2019 | Partial Correctness of a Factorial Algorithm | Jaszczak, Adrian; Korniłowicz, Artur | - | - |
2019 | Partial Correctness of a Power Algorithm | Jaszczak, Adrian | - | - |
2020 | Partial Correctness of an Algorithm Computing Lucas Sequences | Jaszczak, Adrian | - | - |