Wybrane rekordy: | Wybrany widok | | | Zapisz/wyślij | | | Utwórz podzestaw | | | Zapisz na serwerze | | | Filtr | ||||
Cały zestaw: | Zaznacz wszystko | | | Odznacz | | | Waga słów | | | Zawęź | | | Dodaj do Mojej e-półki | | |
nazw osobowych | Poprzedni | Kondracki, Andrzej (1959- ). |
Bieżący | Kondracki, Andrzej (matematyka). | |
Następny | Kondracki, Jerzy (1908-1998). |
Rekordy 1 - 3 z 3 (maksymalna ilość wyświetlonych i sortowanych rekordów to 6000) | ||
|
||
![]() ![]() |
# | Autor | Tytuł | Rok wyd. | Lokalizacja [?] | Artykuł w: | Pełny tekst | |
---|---|---|---|---|---|---|---|
1 | Kondracki, Andrzej (matematyka). | The chinese remainder theorem / Andrzej Kondracki. | 1997 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 6, 4 (1997), s. 573-577 | ||
2 | Bancerek, Grzegorz. | Mostowski’s fundamental operations. Pt. 2 / Grzegorz Bancerek, Andrzej Kondracki. | 1991 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 2, 3 (1991), s. 425-427 | ||
3 | Kondracki, Andrzej (matematyka). | Mostowski’s fundamental operations. Pt. 1 / Andrzej Kondracki. | 1991 | BG( 31/ 0) BIM( 43/ 0) |
Formalized Mathematics : (computer assisted approach) Vol. 2, 3 (1991), s. 371-375 |
© 2009 Ex Libris