Books on the topic 'Higher-order term'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 43 books for your research on the topic 'Higher-order term.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Heering, Jan, Karl Meinke, Bernhard Möller, and 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.
Full textDowek, Gilles, Jan Heering, Karl Meinke, and 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.
Full textGilles, Dowek, and 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.
Find full textJ, Heering, and 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.
Find full textMironov, Rinat, Sergey Zubarev, and Marsel' Valeev. Law enforcement and judicial authorities. ru: INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1891021.
Full textTyulin, Andrey, and Aleksandr Chursin. Management of competitiveness of products. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1081761.
Full textHeering, Jan, Karl Meinke, and Gilles Dowek. Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. Springer, 2014.
Find full textHeering, Jan, Karl Meinke, and 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.
Find full textHigher-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.
Find full textLogic, 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.
Find full textMoller, Bernhard, Jan Heering, and 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.
Find full text(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.
Find full textMaloney, J. Christopher. Higher Order Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190854751.003.0005.
Full textEffects of Higher Order Viscosity Terms on Fluid Flow. Creative Media Partners, LLC, 2021.
Find full textBriggs, 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.
Find full textBasel, Bettina. Dipolar Correlation Spectroscopy: Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Spektrum, 2015.
Find full textBasel, Bettina. Dipolar Correlation Spectroscopy: Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH, 2015.
Find full textBasel, Bettina. Dipolar Correlation Spectroscopy: Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Spektrum, 2015.
Find full textDever, Josh. What is Philosophical Methodology? Edited by Herman Cappelen, Tamar Szabó Gendler, and John Hawthorne. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199668779.013.34.
Full textHodges, John R. Distributed Cognitive Functions. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780198749189.003.0001.
Full textMartin-Loeches, Ignacio, and Antonio Artigas. Respiratory support with positive end-expiratory pressure. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780199600830.003.0094.
Full textRosenthal, David. Seeming to Seem. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199367511.003.0009.
Full textCanning, 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.
Full textŽ. Jovanović, Vladimir. FUNCTIONAL ENGLISH. Filozofski fakultet Niš, 2021. http://dx.doi.org/10.46630/fen.2021.
Full textElger, Bernice S. Management of sleep complaints in correctional settings. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199360574.003.0016.
Full textLatour, Melinda. Santana and the Metaphysics of Tone. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199985227.003.0010.
Full textMays, J. C. C. Contemplation in Coleridge’s Poetry. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198799511.003.0002.
Full textCroasmun, Matthew. The Emergence of Persons Great and Small. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190277987.003.0004.
Full textLinnebo, Øystein. Predicative vs. Impredicative Abstraction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199641314.003.0006.
Full textTaxman, Faye S., and Mary Mun. Recidivism. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780199374847.003.0013.
Full textEl Karoui, Noureddine. Algebraic geometry and matrix models. Edited by Gernot Akemann, Jinho Baik, and Philippe Di Francesco. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198744191.013.29.
Full textRosen, Christopher C., Eric J. Yochum, Liana G. Passantino, Russell E. Johnson, and Chu-Hsiang Chang. Review and Recommended Best Practices for Measuring and Modeling Organizational Citizenship Behavior. Edited by Philip M. Podsakoff, Scott B. Mackenzie, and Nathan P. Podsakoff. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780190219000.013.42.
Full textBoken, Vijendra K., Arthur P. Cracknell, and Ronald L. Heathcote. Monitoring and Predicting Agricultural Drought. Oxford University Press, 2005. http://dx.doi.org/10.1093/oso/9780195162349.001.0001.
Full textHuggins, Mike, Paul Christesen, Noel Fallows, Alessandro Arcangeli, Rebekka von Mallinckrodt, Mike Huggins, Steven Riess, and Charles Stocking, eds. A Cultural History of Sport in the Age of Industry. Bloomsbury Publishing Plc, 2021. http://dx.doi.org/10.5040/9781350183032.
Full textFriedrich, Alexander, Petra Gehring, Christoph Hubig, Andreas Kaminski, and Alfred Nordmann, eds. Steuern und Regeln. Nomos Verlagsgesellschaft mbH & Co. KG, 2019. http://dx.doi.org/10.5771/9783845296548.
Full textTaxman, Faye S. Dual diagnosis. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199360574.003.0045.
Full textAraú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.
Full textDahl, Vegard, and Ulrich J. Spreng. Anaesthesia for non-obstetric surgery. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780198713333.003.0010.
Full textKoman, Kacper, and 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.
Full textColvin, Lesley A., and Marie T. Fallon. Pain physiology in anaesthetic practice. Edited by Jonathan G. Hardman. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780199642045.003.0009.
Full textGallagher, Shaun. Enactivist Interventions. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198794325.001.0001.
Full textZydroń, 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.
Full textShengelia, Revaz. Modern Economics. Universal, Georgia, 2021. http://dx.doi.org/10.36962/rsme012021.
Full text