REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Wyszukaj


Aktualne filtry:


Rozpocznij nowe wyszukiwanie
Dodaj filtr:

Uzyj filtrów aby zagęścić wyszukiwanie.


Rezultaty 1-6 z 6 (Czas wyszukiwania: 0.002 sekund).
  • poprzedni
  • 1
  • następny
Odsłon pozycji:
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2017Pell’s EquationAcewicz, Marcin; Pąk, Karol--
2017The Matiyasevich Theorem. PreliminariesPąk, Karol--
2018Diophantine sets. PreliminariesPąk, Karol--
2018Basic Diophantine RelationsAcewicz, Marcin; Pąk, Karol--
2019Formalization of the MRDP Theorem in the Mizar SystemPąk, Karol--
2019Diophantine Sets. Part IIPąk, Karol--