SpecVer/IloczynSkalarny

Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 19:49, 13 lut 2013

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Skocz do: nawigacji, wyszukiwania

Algorytm

Dowód poprawności

Uwagi końcowe