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 (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)- 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ą