Główne publiczne rejestry
Wspólny rejestr wszystkich typów operacji dla Wikipedii. Możesz zawęzić liczbę wyników poprzez wybranie typu rejestru, nazwy użytkownika lub tytułu strony.
- 19:43, 1 paź 2024 Hdps8 dyskusja edycje utworzył(a) stronę Artur Korniłowicz (Nowa strona: '''Artur Korniłowicz''' (ur. 1970) – polski matematyk, informatyk oraz logik, doktor habilitowany nauk matematycznych, profesor uczelni na Uniwersytecie w Białymstoku. Specjalizuje się w logice matematycznej, teorii dowodu oraz komputerowych systemach wspomagających dowodzenie twierdzeń (proof assistants). Jego badania dotyczą między innymi rozwijania i zastosowania systemów Mizar oraz teorii zbiorów w kontekście mechanizacji dowodów matem…) Znaczniki: Z urządzenia mobilnego Z wersji mobilnej (przeglądarkowej)
- 15:30, 11 sie 2024 Hdps8 dyskusja edycje utworzył(a) stronę Wskaźnik jakości powietrza (atykuł początkowy) Znacznik: Brak kategorii
- 19:02, 9 sie 2024 Hdps8 dyskusja edycje utworzył(a) stronę Paweł Czekała (artykuł początkowy) Znacznik: Utworzenie usuniętej strony
- 18:28, 9 sie 2024 Hdps8 dyskusja edycje utworzył(a) stronę Jakub May (artykuł początkowy)
- 09:36, 8 sie 2024 Hdps8 dyskusja edycje utworzył(a) stronę Maksymilian Szwed (strona początkowa)
- 11:34, 15 wrz 2021 Hdps8 dyskusja edycje utworzył(a) stronę Patryk Lubaś (początek)
- 11:09, 15 wrz 2021 Konto użytkownika Hdps8 dyskusja edycje zostało utworzone