Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 18:58, 22 paź 2015 (różn. | hist.) . . (+9) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 18:56, 22 paź 2015 (różn. | hist.) . . (+56) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 18:54, 22 paź 2015 (różn. | hist.) . . (+222) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 07:54, 22 paź 2015 (różn. | hist.) . . (+13) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 07:53, 22 paź 2015 (różn. | hist.) . . (+15) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 21:14, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:Bericht8410.pdf (ostatnia)
- 20:56, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:AxMAX.pdf (ostatnia)
- 20:46, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:4autorow.pdf (ostatnia)
- 20:33, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:Burkhard.pdf (ostatnia)
- 20:27, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:LBan1980.pdf (ostatnia)
- 18:29, 21 paź 2015 (różn. | hist.) . . (-140) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 18:25, 21 paź 2015 (różn. | hist.) . . (+145) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 18:20, 21 paź 2015 (różn. | hist.) . . (+28) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:43, 21 paź 2015 (różn. | hist.) . . (+10) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:41, 21 paź 2015 (różn. | hist.) . . (+48) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:32, 21 paź 2015 (różn. | hist.) . . (+11) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:31, 21 paź 2015 (różn. | hist.) . . (+21) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:29, 21 paź 2015 (różn. | hist.) . . (+433) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 11:47, 21 paź 2015 (różn. | hist.) . . (+165) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 11:42, 21 paź 2015 (różn. | hist.) . . (+3) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:15, 21 paź 2015 (różn. | hist.) . . (-4) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:14, 21 paź 2015 (różn. | hist.) . . (-1) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:13, 21 paź 2015 (różn. | hist.) . . (+1) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:12, 21 paź 2015 (różn. | hist.) . . (+35) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:11, 21 paź 2015 (różn. | hist.) . . (-2) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:09, 21 paź 2015 (różn. | hist.) . . (-349) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:07, 21 paź 2015 (różn. | hist.) . . (+21) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:06, 21 paź 2015 (różn. | hist.) . . (+547) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:00, 21 paź 2015 (różn. | hist.) . . (+579) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 22:22, 20 paź 2015 (różn. | hist.) . . (+1330) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:42, 20 paź 2015 (różn. | hist.) . . (0) . . Plik:ProgrammedDeallocation-II.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:ProgrammedDeallocation-II.pdf“) (ostatnia)
- 09:36, 17 paź 2015 (różn. | hist.) . . (+473) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 21:30, 16 paź 2015 (różn. | hist.) . . (+50) . . m Loglan'82 project (→Fundamental research)
- 21:19, 16 paź 2015 (różn. | hist.) . . (0) . . m Algorithmic logic (ostatnia)
- 17:11, 16 paź 2015 (różn. | hist.) . . (-2) . . Axiomatic definition of Loglan'82
- 17:08, 16 paź 2015 (różn. | hist.) . . (+194) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:04, 16 paź 2015 (różn. | hist.) . . (+29) . . Axiomatic definition of Loglan'82 (→Declarations of variables. Assignment instructions)
- 16:57, 16 paź 2015 (różn. | hist.) . . (-8) . . Axiomatic definition of Loglan'82 (→Declarations of variables. Assignment instructions)
- 16:56, 16 paź 2015 (różn. | hist.) . . (+206) . . Axiomatic definition of Loglan'82 (→Declarations of variables. Assignment instructions)
- 15:37, 16 paź 2015 (różn. | hist.) . . (+307) . . Axiomatic definition of Loglan'82 (→Declarations of variables. Assignment instructions)
- 15:30, 16 paź 2015 (różn. | hist.) . . (+58) . . Axiomatic definition of Loglan'82 (→Program)
- 15:28, 16 paź 2015 (różn. | hist.) . . (+52) . . Axiomatic definition of Loglan'82 (→Program)
- 12:07, 16 paź 2015 (różn. | hist.) . . (+90) . . Axiomatic definition of Loglan'82 (→Program)
- 12:04, 16 paź 2015 (różn. | hist.) . . (-7) . . Axiomatic definition of Loglan'82 (→Part II Axiomatic definitions of sublanguages of Loglan'82)
- 12:03, 16 paź 2015 (różn. | hist.) . . (+2488) . . N Axiomatic definition of Loglan'82 (Utworzono nową stronę "On these pages we are sketching, in an incremental way, an axiomatic semantics of Loglan'82. == Part II Axiomatic definitions of sublanguages of Loglan'82 == Here we sha...")
- 12:03, 16 paź 2015 (różn. | hist.) . . (-2397) . . Fundamental research (→Part II Axiomatic definitions of sublanguages of Loglan'82)
- 12:00, 16 paź 2015 (różn. | hist.) . . (+123) . . Fundamental research
- 09:57, 16 paź 2015 (różn. | hist.) . . (+11) . . Fundamental research (→Bibliography)
- 09:56, 16 paź 2015 (różn. | hist.) . . (-2774) . . Fundamental research (→Bibliography)
- 08:56, 16 paź 2015 (różn. | hist.) . . (+3378) . . Fundamental research (→Mathematical model of concurrent computations)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)