Książki na temat „Isomorphisme de type”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 20 najlepszych książek naukowych na temat „Isomorphisme de type”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
Philippe, De Groote, i Université catholique de Louvain (1970- ). Départment de philosophie., red. The Curry-Howard isomorphism. Louvain-la-Neuve: Academia, 1995.
Znajdź pełny tekst źródłaDi Cosmo, Roberto. Isomorphisms of Types: from λ-calculus to information retrieval and language design. Boston, MA: Birkhäuser Boston, 1995. http://dx.doi.org/10.1007/978-1-4612-2572-0.
Pełny tekst źródłaSimmons, Harold. Derivation and computation: Taking the Curry-Howard correspondence seriously. Cambridge: Cambridge University Press, 2000.
Znajdź pełny tekst źródłaElatskov, Aleksey. General Geopolitics: Theoretical and Methodological Issues in Geographical Interpretation. ru: INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/2033550.
Pełny tekst źródłaDicosmo, Roberto. Isomorphisms of Types. Island Press, 1994.
Znajdź pełny tekst źródłaButton, Tim, i Sean Walsh. Modelism and mathematical doxology. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0006.
Pełny tekst źródłaKraus, Alain, i Nuno Freitas. On the Symplectic Type of Isomorphisms of the $p$-Torsion of Elliptic Curves. American Mathematical Society, 2022.
Znajdź pełny tekst źródłaIsomorphisms of Types: From ? -calculus to information retrieval and language design. Birkhäuser Boston, 2011.
Znajdź pełny tekst źródłaDiCosmo, Roberto. Isomorphisms of Types: From ?-Calculus to Information Retrieval and Language Design. Birkhauser Verlag, 2012.
Znajdź pełny tekst źródłaTits, Jacques. Buildings of Spherical Type and Finite Bn-Pairs (Ergebnisse Der Mathematik Und Ihrer Grenzgebiete). Springer, 1986.
Znajdź pełny tekst źródłaIsomorphisms of types: From [lambda]-calculus to information retrieval and language design. Boston: Birkhäuser, 1995.
Znajdź pełny tekst źródłaButton, Tim, i Sean Walsh. Transcendental arguments against model-theoretical scepticism. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0009.
Pełny tekst źródłaDiCosmo, Roberto. Isomorphisms of Types:: From delta-calculus to information retrieval and language design (Progress in Theoretical Computer Science). Birkhäuser Boston, 1994.
Znajdź pełny tekst źródłaHuybrechts, D. Derived Categories of Surfaces. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.003.0012.
Pełny tekst źródłaM¨uhlherr, Bernhard, Holger P. Petersson i Richard M. Weiss. Linear Automorphisms. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0029.
Pełny tekst źródłaM¨uhlherr, Bernhard, Holger P. Petersson i Richard M. Weiss. Affine Fixed Point Buildings. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0027.
Pełny tekst źródłaM¨uhlherr, Bernhard, Holger P. Petersson i Richard M. Weiss. Moufang Quadrangles. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0004.
Pełny tekst źródłaButton, Tim, i Sean Walsh. Categoricity and the natural numbers. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0007.
Pełny tekst źródłaHuybrechts, D. Fourier-Mukai Transforms in Algebraic Geometry. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.001.0001.
Pełny tekst źródłaSilva, Sergio Mendonça da, Sílvio Parodi Oliveira Camilo, Cristina Keiko Yamaguchi i Miguelangelo Gianezini. Indutores de políticas, programas e práticas socioambientais: análise das distribuidoras de energia elétrica do sul do Brasil. Brazil Publishing, 2021. http://dx.doi.org/10.31012/978-65-5861-420-3.
Pełny tekst źródła