Libros sobre el tema "Higher-order term"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 43 mejores mejores libros para su investigación sobre el tema "Higher-order term".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Heering, Jan, Karl Meinke, Bernhard Möller y Tobias Nipkow, eds. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9.
Texto completoDowek, Gilles, Jan Heering, Karl Meinke y Bernhard Möller, eds. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8.
Texto completoGilles, Dowek y International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany), eds. Higher-order algebra, logic, and term rewriting: Second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers. Berlin: Springer, 1996.
Buscar texto completoJ, Heering y International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands), eds. Higher-order algebra, logic, and term rewriting: First international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers. Berlin: Springer-Verlag, 1994.
Buscar texto completoMironov, Rinat, Sergey Zubarev y Marsel' Valeev. Law enforcement and judicial authorities. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1891021.
Texto completoTyulin, Andrey y Aleksandr Chursin. Management of competitiveness of products. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1081761.
Texto completoHeering, Jan, Karl Meinke y Gilles Dowek. Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. Springer, 2014.
Buscar texto completoHeering, Jan, Karl Meinke y Bernhard Möller. Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers. Springer, 2014.
Buscar texto completoHigher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23 - 24, 1993. Selected (Lecture Notes in Computer Science). Springer, 1994.
Buscar texto completoLogic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra. Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers (Lecture Notes in Computer Science). Springer-Verlag, 1996.
Buscar texto completoMoller, Bernhard, Jan Heering y Karl Meinke. Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science). Springer, 1994.
Buscar texto completo(Editor), Gilles Dowek, ed. Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers (Lecture Notes in Computer Science, 1074). Springer, 1996.
Buscar texto completoMaloney, J. Christopher. Higher Order Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190854751.003.0005.
Texto completoEffects of Higher Order Viscosity Terms on Fluid Flow. Creative Media Partners, LLC, 2021.
Buscar texto completoBriggs, Carey. Higher-Order Lovelock Tensors and the Coefficients of Higher-Order Lovelock Lagrangians and Exterior Differential Forms Including Higher-Order Chern Forms and Their Coefficients Expressed in Terms of Pontrjagin's Characteristic Tensors of the Second Kind. Lulu Press, Inc., 2020.
Buscar texto completoBasel, Bettina. Dipolar Correlation Spectroscopy: Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Spektrum, 2015.
Buscar texto completoBasel, Bettina. Dipolar Correlation Spectroscopy: Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH, 2015.
Buscar texto completoBasel, Bettina. Dipolar Correlation Spectroscopy: Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Spektrum, 2015.
Buscar texto completoDever, Josh. What is Philosophical Methodology? Editado por Herman Cappelen, Tamar Szabó Gendler y John Hawthorne. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199668779.013.34.
Texto completoHodges, John R. Distributed Cognitive Functions. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780198749189.003.0001.
Texto completoMartin-Loeches, Ignacio y Antonio Artigas. Respiratory support with positive end-expiratory pressure. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780199600830.003.0094.
Texto completoRosenthal, David. Seeming to Seem. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199367511.003.0009.
Texto completoCanning, Joseph. The Universal Rule of Law in the Thought of the Late Medieval Jurists of Roman and Canon Law. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199670055.003.0002.
Texto completoŽ. Jovanović, Vladimir. FUNCTIONAL ENGLISH. Filozofski fakultet Niš, 2021. http://dx.doi.org/10.46630/fen.2021.
Texto completoElger, Bernice S. Management of sleep complaints in correctional settings. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199360574.003.0016.
Texto completoLatour, Melinda. Santana and the Metaphysics of Tone. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199985227.003.0010.
Texto completoMays, J. C. C. Contemplation in Coleridge’s Poetry. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198799511.003.0002.
Texto completoCroasmun, Matthew. The Emergence of Persons Great and Small. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190277987.003.0004.
Texto completoLinnebo, Øystein. Predicative vs. Impredicative Abstraction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199641314.003.0006.
Texto completoTaxman, Faye S. y Mary Mun. Recidivism. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780199374847.003.0013.
Texto completoEl Karoui, Noureddine. Algebraic geometry and matrix models. Editado por Gernot Akemann, Jinho Baik y Philippe Di Francesco. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198744191.013.29.
Texto completoRosen, Christopher C., Eric J. Yochum, Liana G. Passantino, Russell E. Johnson y Chu-Hsiang Chang. Review and Recommended Best Practices for Measuring and Modeling Organizational Citizenship Behavior. Editado por Philip M. Podsakoff, Scott B. Mackenzie y Nathan P. Podsakoff. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780190219000.013.42.
Texto completoBoken, Vijendra K., Arthur P. Cracknell y Ronald L. Heathcote. Monitoring and Predicting Agricultural Drought. Oxford University Press, 2005. http://dx.doi.org/10.1093/oso/9780195162349.001.0001.
Texto completoHuggins, Mike, Paul Christesen, Noel Fallows, Alessandro Arcangeli, Rebekka von Mallinckrodt, Mike Huggins, Steven Riess y Charles Stocking, eds. A Cultural History of Sport in the Age of Industry. Bloomsbury Publishing Plc, 2021. http://dx.doi.org/10.5040/9781350183032.
Texto completoFriedrich, Alexander, Petra Gehring, Christoph Hubig, Andreas Kaminski y Alfred Nordmann, eds. Steuern und Regeln. Nomos Verlagsgesellschaft mbH & Co. KG, 2019. http://dx.doi.org/10.5771/9783845296548.
Texto completoTaxman, Faye S. Dual diagnosis. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199360574.003.0045.
Texto completoAraújo, Ana Cláudia Vaz de. Síntese de nanopartículas de óxido de ferro e nanocompósitos com polianilina. Brazil Publishing, 2021. http://dx.doi.org/10.31012/978-65-5861-120-2.
Texto completoDahl, Vegard y Ulrich J. Spreng. Anaesthesia for non-obstetric surgery. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780198713333.003.0010.
Texto completoKoman, Kacper y Ziemowit Syta. Raport. Pierwsza fala pandemii COVID-19 w Polsce: Ograniczenia i pomoc kierowana do przedsiębiorców. Ksiegarnia Akademicka Publishing, 2022. http://dx.doi.org/10.12797/9788381386951.
Texto completoColvin, Lesley A. y Marie T. Fallon. Pain physiology in anaesthetic practice. Editado por Jonathan G. Hardman. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780199642045.003.0009.
Texto completoGallagher, Shaun. Enactivist Interventions. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198794325.001.0001.
Texto completoZydroń, Tymoteusz. Wpływ systemów korzeniowych wybranych gatunków drzew na przyrost wytrzymałości gruntu na ścinanie. Publishing House of the University of Agriculture in Krakow, 2019. http://dx.doi.org/10.15576/978-83-66602-46-5.
Texto completoShengelia, Revaz. Modern Economics. Universal, Georgia, 2021. http://dx.doi.org/10.36962/rsme012021.
Texto completo