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 (250 nowszych | 250 starszych) (20 | 50 | 100 | 250 | 500)- 07:51, 7 kwi 2017 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2308 strony Strona główna jako sprawdzoną
- 10:41, 12 mar 2017 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2307 strony Stosy - struktura algebraiczna jako sprawdzoną
- 10:23, 12 mar 2017 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2306 strony Stosy - struktura algebraiczna jako sprawdzoną
- 10:22, 12 mar 2017 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2305 strony Stosy - struktura algebraiczna jako sprawdzoną
- 10:20, 12 mar 2017 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2304 strony Stosy - struktura algebraiczna jako sprawdzoną
- 10:07, 12 mar 2017 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2303 strony Stosy - struktura algebraiczna jako sprawdzoną
- 10:04, 12 mar 2017 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2302 strony Stosy - struktura algebraiczna jako sprawdzoną
- 09:59, 12 mar 2017 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2301 strony Stosy - struktura algebraiczna jako sprawdzoną
- 09:10, 12 mar 2017 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2300 strony Stosy - struktura algebraiczna jako sprawdzoną
- 09:10, 4 gru 2016 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“
- 09:01, 4 gru 2016 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“
- 20:32, 21 lis 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2297 strony Euklides jako sprawdzoną
- 20:31, 21 lis 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2296 strony Euklides jako sprawdzoną
- 20:29, 21 lis 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2295 strony Euklides jako sprawdzoną
- 20:27, 21 lis 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:On-Euclids-algorithm.pdf
- 20:27, 21 lis 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2293 strony Euklides jako sprawdzoną
- 11:22, 13 lis 2016 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:Safe and effective object management system-Sal-Zadr.pdf“
- 17:22, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2291 strony Logika Algorytmiczna jako sprawdzoną
- 17:21, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2290 strony Logika Algorytmiczna jako sprawdzoną
- 15:36, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2289 strony Logika Algorytmiczna jako sprawdzoną
- 15:35, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2288 strony Logika Algorytmiczna jako sprawdzoną
- 15:33, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2287 strony Logika Algorytmiczna jako sprawdzoną
- 15:30, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:InferenceRules.jpg
- 15:29, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:AxiomsFOL-AL.jpg
- 15:29, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:AxiomPL.jpg
- 14:35, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2283 strony Logika Algorytmiczna jako sprawdzoną
- 14:32, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2282 strony Logika Algorytmiczna jako sprawdzoną
- 14:31, 12 paź 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4logiki.jpg
- 18:10, 22 kwi 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2280 strony Fundamental research jako sprawdzoną
- 18:33, 12 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2279 strony SpecVer jako sprawdzoną
- 23:36, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2278 strony SpecVer jako sprawdzoną
- 20:45, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2277 strony SpecVer jako sprawdzoną
- 20:43, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2276 strony SpecVer jako sprawdzoną
- 15:42, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2275 strony SpecVer jako sprawdzoną
- 15:24, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2274 strony SpecVer jako sprawdzoną
- 14:36, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Prezentacja27-01-2009ExperimProve.pdf
- 14:23, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2272 strony SpecVer jako sprawdzoną
- 14:21, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2271 strony SpecVer jako sprawdzoną
- 14:17, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2270 strony SpecVer jako sprawdzoną
- 14:06, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2269 strony SpecVer jako sprawdzoną
- 13:56, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SymulacjaBanku.pdf
- 04:22, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2267 strony Inference rules jako sprawdzoną
- 04:21, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2266 strony Rachunek programów jako sprawdzoną
- 04:20, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2265 strony Rachunek programów jako sprawdzoną
- 04:19, 6 mar 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2264 strony Rachunek programów jako sprawdzoną
- 23:14, 29 lut 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Swidaarticle.pdf
- 20:28, 27 lut 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Safe and effective object management system-Sal-Zadr.pdf
- 11:21, 17 lut 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:DziedzictwoLoglanu2016wyk1.pdf
- 22:44, 16 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2260 strony Strona główna jako sprawdzoną
- 22:43, 16 lut 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:DziedzictwoLoglanu.pdf
- 19:39, 13 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2258 strony Fundamental research jako sprawdzoną
- 19:37, 13 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2257 strony Fundamental research jako sprawdzoną
- 19:35, 13 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2256 strony Fundamental research jako sprawdzoną
- 19:32, 13 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2255 strony DokumentacjaLoglanu jako sprawdzoną
- 19:31, 13 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2254 strony DokumentacjaLoglanu jako sprawdzoną
- 14:13, 11 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2253 strony Dziedzictwo Loglanu jako sprawdzoną
- 14:13, 11 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2252 strony Dziedzictwo Loglanu jako sprawdzoną
- 13:32, 11 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2251 strony Dziedzictwo Loglanu jako sprawdzoną
- 13:30, 11 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2250 strony Dziedzictwo Loglanu jako sprawdzoną
- 11:16, 10 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2249 strony Dziedzictwo Loglanu jako sprawdzoną
- 11:07, 10 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2248 strony Dziedzictwo Loglanu jako sprawdzoną
- 10:58, 10 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2247 strony Dziedzictwo Loglanu jako sprawdzoną
- 10:25, 10 lut 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2246 strony Strona główna jako sprawdzoną
- 13:04, 8 sty 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2245 strony SpecVer jako sprawdzoną
- 21:00, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:LeafletLoglan.pdf“
- 11:46, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2243 strony Strona główna jako sprawdzoną
- 11:45, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:UlotkaLogikaAlgorytmiczna.pdf
- 11:36, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2241 strony Main page jako sprawdzoną
- 11:35, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:LeafletLoglan.pdf
- 11:35, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2239 strony Main page jako sprawdzoną
- 11:32, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2238 strony Strona główna jako sprawdzoną
- 11:30, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:UlotkaLoglan.pdf
- 11:16, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2236 strony Strona główna jako sprawdzoną
- 11:15, 5 sty 2016 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2235 strony Strona główna jako sprawdzoną
- 13:49, 17 gru 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2234 strony Logika Algorytmiczna jako sprawdzoną
- 20:55, 16 gru 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2233 strony What happened jako sprawdzoną
- 20:50, 16 gru 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2232 strony Fundamental research jako sprawdzoną
- 20:11, 16 gru 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2231 strony Fundamental research jako sprawdzoną
- 15:38, 10 gru 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2230 strony Fundamental research jako sprawdzoną
- 12:08, 29 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2229 strony Logika Algorytmiczna jako sprawdzoną
- 19:18, 27 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2228 strony SpecVer/Winograd jako sprawdzoną
- 15:57, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2227 strony Loglan'82 jako sprawdzoną
- 14:58, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2226 strony SpecVer/IloczynSkalarny jako sprawdzoną
- 14:55, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2225 strony SpecVer/IloczynSkalarny jako sprawdzoną
- 14:04, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2224 strony SpecVer/IloczynSkalarny jako sprawdzoną
- 14:02, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2223 strony SpecVer/IloczynSkalarny jako sprawdzoną
- 13:40, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2222 strony SpecVer/IloczynSkalarny jako sprawdzoną
- 13:39, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2221 strony SpecVer/IloczynSkalarny jako sprawdzoną
- 13:38, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2220 strony SpecVer/IloczynSkalarny jako sprawdzoną
- 13:30, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2219 strony SpecVer/IloczynSkalarny jako sprawdzoną
- 13:25, 26 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2218 strony SpecVer/IloczynSkalarny jako sprawdzoną
- 21:21, 25 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Swap.pdf
- 21:12, 25 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2216 strony Loglan'82 jako sprawdzoną
- 21:10, 25 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2215 strony Loglan'82 jako sprawdzoną
- 21:02, 25 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2214 strony Loglan'82 jako sprawdzoną
- 20:59, 25 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2213 strony Loglan'82 jako sprawdzoną
- 08:00, 25 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2212 strony Loglan'82 jako sprawdzoną
- 07:51, 25 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2211 strony Logika Algorytmiczna jako sprawdzoną
- 19:31, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2210 strony Euklides jako sprawdzoną
- 19:30, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2209 strony Euklides jako sprawdzoną
- 17:52, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2208 strony Logika Algorytmiczna jako sprawdzoną
- 15:54, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2207 strony Logika Algorytmiczna jako sprawdzoną
- 15:53, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2206 strony Logika Algorytmiczna jako sprawdzoną
- 15:47, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2205 strony Logika Algorytmiczna jako sprawdzoną
- 15:46, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2204 strony Logika Algorytmiczna jako sprawdzoną
- 14:41, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2203 strony Logika Algorytmiczna jako sprawdzoną
- 14:38, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2202 strony Logika Algorytmiczna jako sprawdzoną
- 14:31, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Kalfa.jpg
- 14:30, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2200 strony Logika Algorytmiczna jako sprawdzoną
- 13:26, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2199 strony Logika Algorytmiczna jako sprawdzoną
- 13:23, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2198 strony Logika Algorytmiczna jako sprawdzoną
- 13:14, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4lanlogics.jpg
- 13:11, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2196 strony Logika Algorytmiczna jako sprawdzoną
- 13:10, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2195 strony Logika Algorytmiczna jako sprawdzoną
- 13:09, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4logics.jpg
- 13:07, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2193 strony Logika Algorytmiczna jako sprawdzoną
- 13:04, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2192 strony Logika Algorytmiczna jako sprawdzoną
- 12:01, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4lanlogics.pdf
- 12:00, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4logics.pdf
- 23:00, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2189 strony Logika Algorytmiczna jako sprawdzoną
- 19:58, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2188 strony Strona główna jako sprawdzoną
- 18:54, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:On certain-PAL-property.pdf
- 18:47, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:On Formalized-Mirk.pdf
- 18:41, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Concatenation.pdf
- 21:59, 21 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2184 strony Logika Algorytmiczna jako sprawdzoną
- 19:44, 21 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2183 strony Loglan'82 jako sprawdzoną
- 19:38, 21 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2182 strony Loglan'82 jako sprawdzoną
- 19:22, 21 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2181 strony Loglan'82 jako sprawdzoną
- 00:53, 21 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2180 strony Logika Algorytmiczna jako sprawdzoną
- 20:38, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2179 strony SpecVer jako sprawdzoną
- 20:36, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:ProvingSimulation.pdf“
- 20:23, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:ProvingSimulation.pdf
- 18:29, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2176 strony SpecVer jako sprawdzoną
- 18:28, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2175 strony SpecVer jako sprawdzoną
- 18:25, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2174 strony SpecVer jako sprawdzoną
- 17:58, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja10.pdf
- 17:58, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja9.pdf
- 17:57, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja8.pdf
- 17:57, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja7.pdf
- 17:56, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja6.pdf
- 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ą
- 10:32, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2118 strony Inference rules jako sprawdzoną
- 10:24, 19 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2117 strony Rachunek programów jako sprawdzoną
- 11:06, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2116 strony Rachunek programów jako sprawdzoną
- 11:05, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2115 strony Rachunek programów jako sprawdzoną
- 11:02, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2114 strony Rachunek programów jako sprawdzoną
- 10:59, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2113 strony Rachunek programów jako sprawdzoną
- 10:57, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2112 strony Rachunek programów jako sprawdzoną
- 10:56, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2111 strony Rachunek programów jako sprawdzoną
- 10:53, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2110 strony Rachunek programów jako sprawdzoną
- 10:39, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2109 strony Rachunek programów jako sprawdzoną
- 10:37, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2108 strony Rachunek programów jako sprawdzoną
- 10:35, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2107 strony Rachunek programów jako sprawdzoną
- 10:29, 17 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2106 strony Rachunek programów jako sprawdzoną
- 21:31, 16 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2105 strony Fundamental research jako sprawdzoną
- 21:22, 16 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2104 strony Fundamental research jako sprawdzoną
- 19:04, 16 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2103 strony Rachunek programów jako sprawdzoną
- 21:01, 9 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2102 strony Logika Algorytmiczna jako sprawdzoną
- 19:34, 9 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2101 strony Logika Algorytmiczna jako sprawdzoną
- 19:33, 9 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:A-Biela.pdf
- 23:13, 6 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2099 strony Rachunek programów jako sprawdzoną
- 22:15, 5 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2098 strony Winograda mnożenie macierzy jako sprawdzoną
- 21:22, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2097 strony Winograda mnożenie macierzy jako sprawdzoną
- 18:19, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2096 strony Winograda mnożenie macierzy jako sprawdzoną
- 18:11, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2095 strony Winograda mnożenie macierzy jako sprawdzoną
- 18:09, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2094 strony Winograda mnożenie macierzy jako sprawdzoną
- 18:04, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2093 strony Winograda mnożenie macierzy jako sprawdzoną
- 18:01, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2092 strony Winograda mnożenie macierzy jako sprawdzoną
- 18:00, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2091 strony Winograda mnożenie macierzy jako sprawdzoną
- 17:50, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2090 strony Winograda mnożenie macierzy jako sprawdzoną
- 16:31, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2089 strony Loglan'82 jako sprawdzoną
- 16:28, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2088 strony Winograda mnożenie macierzy jako sprawdzoną
- 16:24, 4 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2087 strony Loglan'82 jako sprawdzoną
- 22:58, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2086 strony Rachunek programów jako sprawdzoną
- 21:36, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2085 strony Rachunek programów jako sprawdzoną
- 21:34, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2084 strony Rachunek programów jako sprawdzoną
- 21:33, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2083 strony Rachunek programów jako sprawdzoną
- 21:28, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2082 strony Rachunek programów jako sprawdzoną
- 09:25, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2081 strony Rachunek programów jako sprawdzoną
- 09:25, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2080 strony Rachunek programów jako sprawdzoną
- 09:24, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2079 strony Rachunek programów jako sprawdzoną
- 08:44, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2078 strony Rachunek programów jako sprawdzoną
- 08:43, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2077 strony Rachunek programów jako sprawdzoną
- 08:36, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2076 strony Rachunek programów jako sprawdzoną
- 08:35, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2075 strony Rachunek programów jako sprawdzoną
- 08:26, 2 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2074 strony Rachunek programów jako sprawdzoną
- 23:50, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2073 strony Logika Algorytmiczna jako sprawdzoną
- 23:42, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2072 strony Logika Algorytmiczna jako sprawdzoną
- 23:41, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2071 strony Logika Algorytmiczna jako sprawdzoną
- 23:39, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2070 strony Logika Algorytmiczna jako sprawdzoną
- 23:38, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2069 strony Logika Algorytmiczna jako sprawdzoną
- 16:53, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2068 strony Kompilatory jako sprawdzoną
- 16:51, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2067 strony Kompilatory jako sprawdzoną
- 16:50, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2066 strony Kompilatory jako sprawdzoną
- 16:50, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2065 strony Kompilatory jako sprawdzoną
- 16:48, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2064 strony Kompilatory jako sprawdzoną
- 14:05, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2063 strony Logika Algorytmiczna jako sprawdzoną
- 13:58, 29 paź 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Verifying-a-class.pdf
- 19:58, 28 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2061 strony SpecVer jako sprawdzoną
- 12:12, 28 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2060 strony DokumentacjaLoglanu jako sprawdzoną
- 12:06, 28 paź 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2059 strony DokumentacjaLoglanu jako sprawdzoną