Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 04:22, 6 mar 2016 (różn. | hist.) . . (+7) . . Inference rules (→Some auxiliary (secondary) inference rules) (ostatnia)
- 04:21, 6 mar 2016 (różn. | hist.) . . (0) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 04:20, 6 mar 2016 (różn. | hist.) . . (0) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 04:19, 6 mar 2016 (różn. | hist.) . . (+64) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 23:14, 29 lut 2016 (różn. | hist.) . . (0) . . N Plik:Swidaarticle.pdf (ostatnia)
- 20:28, 27 lut 2016 (różn. | hist.) . . (0) . . N Plik:Safe and effective object management system-Sal-Zadr.pdf
- 11:21, 17 lut 2016 (różn. | hist.) . . (0) . . N Plik:DziedzictwoLoglanu2016wyk1.pdf (ostatnia)
- 22:44, 16 lut 2016 (różn. | hist.) . . (+31) . . Strona główna
- 22:43, 16 lut 2016 (różn. | hist.) . . (0) . . N Plik:DziedzictwoLoglanu.pdf (ostatnia)
- 19:39, 13 lut 2016 (różn. | hist.) . . (+56) . . Fundamental research (→Bibliography)
- 19:37, 13 lut 2016 (różn. | hist.) . . (+12) . . Fundamental research (→Bibliography)
- 19:35, 13 lut 2016 (różn. | hist.) . . (-96) . . Fundamental research (→Bibliography)
- 19:32, 13 lut 2016 (różn. | hist.) . . (+6) . . DokumentacjaLoglanu (→Instrukcje instalowania Loglanu) (ostatnia)
- 19:31, 13 lut 2016 (różn. | hist.) . . (+61) . . DokumentacjaLoglanu (→Instrukcje instalowania Loglanu)
- 14:13, 11 lut 2016 (różn. | hist.) . . (+2) . . Dziedzictwo Loglanu (→Wykład) (ostatnia)
- 14:13, 11 lut 2016 (różn. | hist.) . . (0) . . Dziedzictwo Loglanu (→Wykład)
- 13:32, 11 lut 2016 (różn. | hist.) . . (0) . . Dziedzictwo Loglanu (→Zajęcia praktyczne)
- 13:30, 11 lut 2016 (różn. | hist.) . . (+35) . . Dziedzictwo Loglanu
- 11:16, 10 lut 2016 (różn. | hist.) . . (+142) . . Dziedzictwo Loglanu
- 11:07, 10 lut 2016 (różn. | hist.) . . (+62) . . Dziedzictwo Loglanu
- 10:58, 10 lut 2016 (różn. | hist.) . . (+1223) . . N Dziedzictwo Loglanu (Utworzono nową stronę "Andrzej Salwicki zaprasza na Wykład monograficzny <center>Dziedzictwo projektu badawczego Loglan</center> termin i miejsce: środy g. 15 , sala <do wyjaśnienia>...")
- 10:25, 10 lut 2016 (różn. | hist.) . . (+61) . . Strona główna
- 13:04, 8 sty 2016 (różn. | hist.) . . (+160) . . SpecVer (→Algorytmiczna teoria stosów)
- 21:00, 5 sty 2016 (różn. | hist.) . . (0) . . Plik:LeafletLoglan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LeafletLoglan.pdf“) (ostatnia)
- 11:46, 5 sty 2016 (różn. | hist.) . . (+85) . . Strona główna
- 11:45, 5 sty 2016 (różn. | hist.) . . (0) . . N Plik:UlotkaLogikaAlgorytmiczna.pdf
- 11:36, 5 sty 2016 (różn. | hist.) . . (+1) . . Main page
- 11:35, 5 sty 2016 (różn. | hist.) . . (0) . . N Plik:LeafletLoglan.pdf
- 11:35, 5 sty 2016 (różn. | hist.) . . (+66) . . Main page
- 11:32, 5 sty 2016 (różn. | hist.) . . (+23) . . Strona główna
- 11:30, 5 sty 2016 (różn. | hist.) . . (0) . . N Plik:UlotkaLoglan.pdf
- 11:16, 5 sty 2016 (różn. | hist.) . . (+6) . . Strona główna
- 11:15, 5 sty 2016 (różn. | hist.) . . (+31) . . Strona główna
- 13:49, 17 gru 2015 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy.)
- 20:55, 16 gru 2015 (różn. | hist.) . . (+351) . . N What happened (Utworzono nową stronę "The report was submitted to the Information Processing Letter.<br /> :See the decision of IPL. Next, we submitted it to the A.P. Ershov conference. :See the reviews...") (ostatnia)
- 20:50, 16 gru 2015 (różn. | hist.) . . (-10) . . Fundamental research (→Is it possible to deallocate objects in a safe and efficient way?)
- 20:11, 16 gru 2015 (różn. | hist.) . . (+50) . . Fundamental research (→Problems)
- 15:38, 10 gru 2015 (różn. | hist.) . . (-61) . . m Fundamental research
- 12:08, 29 lis 2015 (różn. | hist.) . . (+48) . . Logika Algorytmiczna (→Wprowadzenie)
- 19:18, 27 lis 2015 (różn. | hist.) . . (+66) . . SpecVer/Winograd (→Uwagi końcowe) (ostatnia)
- 15:57, 26 lis 2015 (różn. | hist.) . . (+52) . . Loglan'82 (→→ Badania podstawowe)
- 14:58, 26 lis 2015 (różn. | hist.) . . (+2) . . SpecVer/IloczynSkalarny (→Dowód poprawności) (ostatnia)
- 14:55, 26 lis 2015 (różn. | hist.) . . (+84) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 14:04, 26 lis 2015 (różn. | hist.) . . (+6) . . SpecVer/IloczynSkalarny (→Algorytm)
- 14:02, 26 lis 2015 (różn. | hist.) . . (+102) . . SpecVer/IloczynSkalarny (→Algorytm)
- 13:40, 26 lis 2015 (różn. | hist.) . . (+13) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 13:39, 26 lis 2015 (różn. | hist.) . . (-24) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 13:38, 26 lis 2015 (różn. | hist.) . . (+203) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 13:30, 26 lis 2015 (różn. | hist.) . . (+57) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 13:25, 26 lis 2015 (różn. | hist.) . . (+156) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)