Livros sobre o tema "Isomorphisme de type"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 20 melhores livros para estudos sobre o assunto "Isomorphisme de type".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os livros das mais diversas áreas científicas e compile uma bibliografia correta.
Philippe, De Groote, e Université catholique de Louvain (1970- ). Départment de philosophie., eds. The Curry-Howard isomorphism. Louvain-la-Neuve: Academia, 1995.
Encontre o texto completo da fonteDi 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.
Texto completo da fonteSimmons, Harold. Derivation and computation: Taking the Curry-Howard correspondence seriously. Cambridge: Cambridge University Press, 2000.
Encontre o texto completo da fonteElatskov, Aleksey. General Geopolitics: Theoretical and Methodological Issues in Geographical Interpretation. ru: INFRA-M Academic Publishing LLC., 2024. http://dx.doi.org/10.12737/2033550.
Texto completo da fonteDicosmo, Roberto. Isomorphisms of Types. Island Press, 1994.
Encontre o texto completo da fonteButton, Tim, e Sean Walsh. Modelism and mathematical doxology. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0006.
Texto completo da fonteKraus, Alain, e Nuno Freitas. On the Symplectic Type of Isomorphisms of the $p$-Torsion of Elliptic Curves. American Mathematical Society, 2022.
Encontre o texto completo da fonteIsomorphisms of Types: From ? -calculus to information retrieval and language design. Birkhäuser Boston, 2011.
Encontre o texto completo da fonteDiCosmo, Roberto. Isomorphisms of Types: From ?-Calculus to Information Retrieval and Language Design. Birkhauser Verlag, 2012.
Encontre o texto completo da fonteTits, Jacques. Buildings of Spherical Type and Finite Bn-Pairs (Ergebnisse Der Mathematik Und Ihrer Grenzgebiete). Springer, 1986.
Encontre o texto completo da fonteIsomorphisms of types: From [lambda]-calculus to information retrieval and language design. Boston: Birkhäuser, 1995.
Encontre o texto completo da fonteButton, Tim, e Sean Walsh. Transcendental arguments against model-theoretical scepticism. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0009.
Texto completo da fonteDiCosmo, Roberto. Isomorphisms of Types:: From delta-calculus to information retrieval and language design (Progress in Theoretical Computer Science). Birkhäuser Boston, 1994.
Encontre o texto completo da fonteHuybrechts, D. Derived Categories of Surfaces. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.003.0012.
Texto completo da fonteM¨uhlherr, Bernhard, Holger P. Petersson e Richard M. Weiss. Linear Automorphisms. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0029.
Texto completo da fonteM¨uhlherr, Bernhard, Holger P. Petersson e Richard M. Weiss. Affine Fixed Point Buildings. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0027.
Texto completo da fonteM¨uhlherr, Bernhard, Holger P. Petersson e Richard M. Weiss. Moufang Quadrangles. Princeton University Press, 2017. http://dx.doi.org/10.23943/princeton/9780691166902.003.0004.
Texto completo da fonteButton, Tim, e Sean Walsh. Categoricity and the natural numbers. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198790396.003.0007.
Texto completo da fonteHuybrechts, D. Fourier-Mukai Transforms in Algebraic Geometry. Oxford University Press, 2007. http://dx.doi.org/10.1093/acprof:oso/9780199296866.001.0001.
Texto completo da fonteSilva, Sergio Mendonça da, Sílvio Parodi Oliveira Camilo, Cristina Keiko Yamaguchi e 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.
Texto completo da fonte