Wszystkie publiczne operacje
Wspólny rejestr wszystkich typów operacji dla Lem. Możesz zawęzić liczbę wyników poprzez wybranie typu rejestru, nazwy użytkownika albo tytułu strony.
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)- 17:56, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja5.pdf
- 17:55, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja4.pdf
- 17:55, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja3.pdf
- 17:54, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja2.pdf
- 17:53, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja1.pdf
- 17:43, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2163 strony SpecVer jako sprawdzoną
- 17:42, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:AL+SpecVer.pdf
- 17:22, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2161 strony SpecVer jako sprawdzoną
- 17:21, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2160 strony SpecVer jako sprawdzoną
- 17:09, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Experimenting Proving.pdf
- 13:15, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2158 strony Analiza przykładu jako sprawdzoną
- 12:58, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2157 strony SpecVer jako sprawdzoną
- 12:32, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:ProgramdDeallocatn-II.pdf“
- 12:08, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2155 strony Fundamental research jako sprawdzoną
- 10:43, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:ProgramdDeallocatn-II.pdf
- 19:08, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2153 strony Axioms of algorithmic logic jako sprawdzoną
- 19:06, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2152 strony Axioms of algorithmic logic jako sprawdzoną
- 19:04, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2151 strony Axioms of algorithmic logic jako sprawdzoną
- 19:04, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2150 strony Axioms of algorithmic logic jako sprawdzoną
- 19:03, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2149 strony Axioms of algorithmic logic jako sprawdzoną
- 19:02, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2148 strony Axioms of algorithmic logic jako sprawdzoną
- 18:58, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2147 strony Axioms of algorithmic logic jako sprawdzoną
- 18:51, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2146 strony Axioms of algorithmic logic jako sprawdzoną
- 18:44, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2145 strony Axioms of algorithmic logic jako sprawdzoną
- 18:42, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2144 strony Axioms of algorithmic logic jako sprawdzoną
- 18:41, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2143 strony Axioms of algorithmic logic jako sprawdzoną
- 18:40, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2142 strony Axioms of algorithmic logic jako sprawdzoną
- 18:39, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2141 strony Axioms of algorithmic logic jako sprawdzoną
- 18:35, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2140 strony Axioms of algorithmic logic jako sprawdzoną
- 18:31, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2139 strony Axioms of algorithmic logic jako sprawdzoną
- 18:28, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2138 strony Axioms of algorithmic logic jako sprawdzoną
- 18:28, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2137 strony Axioms of algorithmic logic jako sprawdzoną
- 18:26, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2136 strony Axioms of algorithmic logic jako sprawdzoną
- 18:19, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2135 strony Axioms of algorithmic logic jako sprawdzoną
- 18:14, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2134 strony Axioms of algorithmic logic jako sprawdzoną
- 18:11, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2133 strony Axioms of algorithmic logic jako sprawdzoną
- 18:04, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2132 strony Axioms of algorithmic logic jako sprawdzoną
- 18:02, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2131 strony Axioms of algorithmic logic jako sprawdzoną
- 17:40, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2130 strony Rachunek programów jako sprawdzoną
- 15:20, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2129 strony Logika Algorytmiczna jako sprawdzoną
- 11:56, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2128 strony Inference rules jako sprawdzoną
- 11:42, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2127 strony Inference rules jako sprawdzoną
- 11:22, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2126 strony Inference rules jako sprawdzoną
- 11:20, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2125 strony Inference rules jako sprawdzoną
- 11:08, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2124 strony Inference rules jako sprawdzoną
- 10:59, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2123 strony Inference rules jako sprawdzoną
- 10:58, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2122 strony Inference rules jako sprawdzoną
- 10:52, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2121 strony Inference rules jako sprawdzoną
- 10:49, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2120 strony Inference rules jako sprawdzoną
- 10:41, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2119 strony Inference rules jako sprawdzoną