Bücher zum Thema „Isomorphisme de type“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-20 Bücher für die Forschung zum Thema "Isomorphisme de type" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Philippe, De Groote, und Université catholique de Louvain (1970- ). Départment de philosophie., Hrsg. The Curry-Howard isomorphism. Louvain-la-Neuve: Academia, 1995.
Den vollen Inhalt der Quelle findenDi 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.
Der volle Inhalt der QuelleSimmons, Harold. Derivation and computation: Taking the Curry-Howard correspondence seriously. Cambridge: Cambridge University Press, 2000.
Den vollen Inhalt der Quelle findenElatskov, Aleksey. General Geopolitics: Theoretical and Methodological Issues in Geographical Interpretation. ru: INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/2033550.
Der volle Inhalt der QuelleDicosmo, Roberto. Isomorphisms of Types. Island Press, 1994.
Den vollen Inhalt der Quelle findenButton, Tim, und Sean Walsh. Modelism and mathematical doxology. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0006.
Der volle Inhalt der QuelleKraus, Alain, und Nuno Freitas. On the Symplectic Type of Isomorphisms of the $p$-Torsion of Elliptic Curves. American Mathematical Society, 2022.
Den vollen Inhalt der Quelle findenIsomorphisms of Types: From ? -calculus to information retrieval and language design. Birkhäuser Boston, 2011.
Den vollen Inhalt der Quelle findenDiCosmo, Roberto. Isomorphisms of Types: From ?-Calculus to Information Retrieval and Language Design. Birkhauser Verlag, 2012.
Den vollen Inhalt der Quelle findenTits, Jacques. Buildings of Spherical Type and Finite Bn-Pairs (Ergebnisse Der Mathematik Und Ihrer Grenzgebiete). Springer, 1986.
Den vollen Inhalt der Quelle findenIsomorphisms of types: From [lambda]-calculus to information retrieval and language design. Boston: Birkhäuser, 1995.
Den vollen Inhalt der Quelle findenButton, Tim, und Sean Walsh. Transcendental arguments against model-theoretical scepticism. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0009.
Der volle Inhalt der QuelleDiCosmo, Roberto. Isomorphisms of Types:: From delta-calculus to information retrieval and language design (Progress in Theoretical Computer Science). Birkhäuser Boston, 1994.
Den vollen Inhalt der Quelle findenHuybrechts, D. Derived Categories of Surfaces. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.003.0012.
Der volle Inhalt der QuelleM¨uhlherr, Bernhard, Holger P. Petersson und Richard M. Weiss. Linear Automorphisms. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0029.
Der volle Inhalt der QuelleM¨uhlherr, Bernhard, Holger P. Petersson und Richard M. Weiss. Affine Fixed Point Buildings. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0027.
Der volle Inhalt der QuelleM¨uhlherr, Bernhard, Holger P. Petersson und Richard M. Weiss. Moufang Quadrangles. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0004.
Der volle Inhalt der QuelleButton, Tim, und Sean Walsh. Categoricity and the natural numbers. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0007.
Der volle Inhalt der QuelleHuybrechts, D. Fourier-Mukai Transforms in Algebraic Geometry. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.001.0001.
Der volle Inhalt der QuelleSilva, Sergio Mendonça da, Sílvio Parodi Oliveira Camilo, Cristina Keiko Yamaguchi und 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.
Der volle Inhalt der Quelle