![]() |
Exploring FormalisationWydawnictwo: Springer Nature Data wydania: 24/09/2022 ISBN: 9783031146497 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
Produkt dostępny on-line
|
![]() |
Ergodic Theoretic Methods in Group HomologyWydawnictwo: Springer Nature Data wydania: 14/03/2020 ISBN: 9783030442200 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
Produkt dostępny on-line
|
![]() |
Geometric Group TheoryWydawnictwo: Springer Nature Data wydania: 19/12/2017 ISBN: 9783319722542 Forma publikacji: eBook: Fixed Page eTextbook (PDF)
|
Produkt dostępny on-line
|
![]() |
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial TopologyWydawnictwo: Springer, Berlin ISBN: 9783031146480 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
![]() |
Geometric Group Theory: An IntroductionWydawnictwo: Springer, Berlin ISBN: 9783319722535 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|
![]() |
Ergodic Theoretic Methods in Group Homology: A Minicourse on L2-Betti Numbers in Group TheoryWydawnictwo: Springer, Berlin ISBN: 9783030442194 Forma publikacji: książka w miękkiej oprawie
|
Zapytaj o ten produkt
|