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)- 12:41, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2203 strony Logika Algorytmiczna jako sprawdzoną
- 12:38, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2202 strony Logika Algorytmiczna jako sprawdzoną
- 12:31, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Kalfa.jpg
- 12:30, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2200 strony Logika Algorytmiczna jako sprawdzoną
- 11:26, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2199 strony Logika Algorytmiczna jako sprawdzoną
- 11:23, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2198 strony Logika Algorytmiczna jako sprawdzoną
- 11:14, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4lanlogics.jpg
- 11:11, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2196 strony Logika Algorytmiczna jako sprawdzoną
- 11:10, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2195 strony Logika Algorytmiczna jako sprawdzoną
- 11:09, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4logics.jpg
- 11:07, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2193 strony Logika Algorytmiczna jako sprawdzoną
- 11:04, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2192 strony Logika Algorytmiczna jako sprawdzoną
- 10:01, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4lanlogics.pdf
- 10:00, 24 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:4logics.pdf
- 21:00, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2189 strony Logika Algorytmiczna jako sprawdzoną
- 17:58, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2188 strony Strona główna jako sprawdzoną
- 16:54, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:On certain-PAL-property.pdf
- 16:47, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:On Formalized-Mirk.pdf
- 16:41, 23 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Concatenation.pdf
- 19:59, 21 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2184 strony Logika Algorytmiczna jako sprawdzoną
- 17:44, 21 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2183 strony Loglan'82 jako sprawdzoną
- 17:38, 21 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2182 strony Loglan'82 jako sprawdzoną
- 17:22, 21 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2181 strony Loglan'82 jako sprawdzoną
- 22:53, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2180 strony Logika Algorytmiczna jako sprawdzoną
- 18:38, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2179 strony SpecVer jako sprawdzoną
- 18:36, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:ProvingSimulation.pdf“
- 18:23, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:ProvingSimulation.pdf
- 16:29, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2176 strony SpecVer jako sprawdzoną
- 16:28, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2175 strony SpecVer jako sprawdzoną
- 16:25, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2174 strony SpecVer jako sprawdzoną
- 15:58, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja10.pdf
- 15:58, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja9.pdf
- 15:57, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja8.pdf
- 15:57, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja7.pdf
- 15:56, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja6.pdf
- 15:56, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja5.pdf
- 15:55, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja4.pdf
- 15:55, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja3.pdf
- 15:54, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja2.pdf
- 15:53, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:SimClassWersja1.pdf
- 15:43, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2163 strony SpecVer jako sprawdzoną
- 15:42, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:AL+SpecVer.pdf
- 15:22, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2161 strony SpecVer jako sprawdzoną
- 15:21, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2160 strony SpecVer jako sprawdzoną
- 15:09, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:Experimenting Proving.pdf
- 11:15, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2158 strony Analiza przykładu jako sprawdzoną
- 10:58, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2157 strony SpecVer jako sprawdzoną
- 10:32, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłano nową wersję pliku „Plik:ProgramdDeallocatn-II.pdf“
- 10:08, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) automatycznie oznaczył wersję 2155 strony Fundamental research jako sprawdzoną
- 08:43, 20 lis 2015 AndrzejSalwicki (dyskusja | edycje) przesłał Plik:ProgramdDeallocatn-II.pdf
