Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 1-6 z 6 (Czas wyszukiwania: 0.001 sekund).
- poprzedni
- 1
- następny
Odsłon pozycji:
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2019 | Formalization of the MRDP Theorem in the Mizar System | Pąk, Karol | - | - |
| 2019 | Diophantine Sets. Part II | Pąk, Karol | - | - |
| 2018 | Basic Diophantine Relations | Acewicz, Marcin; Pąk, Karol | - | - |
| 2018 | Diophantine sets. Preliminaries | Pąk, Karol | - | - |
| 2017 | Pell’s Equation | Acewicz, Marcin; Pąk, Karol | - | - |
| 2017 | The Matiyasevich Theorem. Preliminaries | Pąk, Karol | - | - |
Odkryj
Temat
Posiada pliki pozycji
- 6 true
