Livres sur le sujet « Isomorphisme de type »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 20 meilleurs livres pour votre recherche sur le sujet « Isomorphisme de type ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.
Philippe, De Groote, et Université catholique de Louvain (1970- ). Départment de philosophie., dir. The Curry-Howard isomorphism. Louvain-la-Neuve : Academia, 1995.
Trouver le texte intégralDi 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.
Texte intégralSimmons, Harold. Derivation and computation : Taking the Curry-Howard correspondence seriously. Cambridge : Cambridge University Press, 2000.
Trouver le texte intégralElatskov, Aleksey. General Geopolitics : Theoretical and Methodological Issues in Geographical Interpretation. ru : INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/2033550.
Texte intégralDicosmo, Roberto. Isomorphisms of Types. Island Press, 1994.
Trouver le texte intégralButton, Tim, et Sean Walsh. Modelism and mathematical doxology. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0006.
Texte intégralKraus, Alain, et Nuno Freitas. On the Symplectic Type of Isomorphisms of the $p$-Torsion of Elliptic Curves. American Mathematical Society, 2022.
Trouver le texte intégralIsomorphisms of Types : From ? -calculus to information retrieval and language design. Birkhäuser Boston, 2011.
Trouver le texte intégralDiCosmo, Roberto. Isomorphisms of Types : From ?-Calculus to Information Retrieval and Language Design. Birkhauser Verlag, 2012.
Trouver le texte intégralTits, Jacques. Buildings of Spherical Type and Finite Bn-Pairs (Ergebnisse Der Mathematik Und Ihrer Grenzgebiete). Springer, 1986.
Trouver le texte intégralIsomorphisms of types : From [lambda]-calculus to information retrieval and language design. Boston : Birkhäuser, 1995.
Trouver le texte intégralButton, Tim, et Sean Walsh. Transcendental arguments against model-theoretical scepticism. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0009.
Texte intégralDiCosmo, Roberto. Isomorphisms of Types : : From delta-calculus to information retrieval and language design (Progress in Theoretical Computer Science). Birkhäuser Boston, 1994.
Trouver le texte intégralHuybrechts, D. Derived Categories of Surfaces. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.003.0012.
Texte intégralM¨uhlherr, Bernhard, Holger P. Petersson et Richard M. Weiss. Linear Automorphisms. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0029.
Texte intégralM¨uhlherr, Bernhard, Holger P. Petersson et Richard M. Weiss. Affine Fixed Point Buildings. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0027.
Texte intégralM¨uhlherr, Bernhard, Holger P. Petersson et Richard M. Weiss. Moufang Quadrangles. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0004.
Texte intégralButton, Tim, et Sean Walsh. Categoricity and the natural numbers. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0007.
Texte intégralHuybrechts, D. Fourier-Mukai Transforms in Algebraic Geometry. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.001.0001.
Texte intégralSilva, Sergio Mendonça da, Sílvio Parodi Oliveira Camilo, Cristina Keiko Yamaguchi et 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.
Texte intégral