Книги з теми "Higher-order term"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-43 книг для дослідження на тему "Higher-order term".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.
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.
Повний текст джерелаDowek, 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.
Повний текст джерелаGilles, 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.
Знайти повний текст джерелаJ, 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.
Знайти повний текст джерелаMironov, 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.
Повний текст джерелаTyulin, Andrey, and Aleksandr Chursin. Management of competitiveness of products. ru: INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1081761.
Повний текст джерелаHeering, 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.
Знайти повний текст джерелаHeering, 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.
Знайти повний текст джерелаHigher-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.
Знайти повний текст джерелаLogic, 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.
Знайти повний текст джерелаMoller, 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.
Знайти повний текст джерела(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.
Знайти повний текст джерелаMaloney, J. Christopher. Higher Order Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190854751.003.0005.
Повний текст джерелаEffects of Higher Order Viscosity Terms on Fluid Flow. Creative Media Partners, LLC, 2021.
Знайти повний текст джерелаBriggs, 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.
Знайти повний текст джерелаBasel, Bettina. Dipolar Correlation Spectroscopy: Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Spektrum, 2015.
Знайти повний текст джерелаBasel, Bettina. Dipolar Correlation Spectroscopy: Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH, 2015.
Знайти повний текст джерелаBasel, Bettina. Dipolar Correlation Spectroscopy: Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Spektrum, 2015.
Знайти повний текст джерелаDever, 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.
Повний текст джерелаHodges, John R. Distributed Cognitive Functions. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780198749189.003.0001.
Повний текст джерелаMartin-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.
Повний текст джерелаRosenthal, David. Seeming to Seem. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199367511.003.0009.
Повний текст джерелаCanning, 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.
Повний текст джерелаŽ. Jovanović, Vladimir. FUNCTIONAL ENGLISH. Filozofski fakultet Niš, 2021. http://dx.doi.org/10.46630/fen.2021.
Повний текст джерелаElger, Bernice S. Management of sleep complaints in correctional settings. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199360574.003.0016.
Повний текст джерелаLatour, Melinda. Santana and the Metaphysics of Tone. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199985227.003.0010.
Повний текст джерелаMays, J. C. C. Contemplation in Coleridge’s Poetry. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198799511.003.0002.
Повний текст джерелаCroasmun, Matthew. The Emergence of Persons Great and Small. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190277987.003.0004.
Повний текст джерелаLinnebo, Øystein. Predicative vs. Impredicative Abstraction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199641314.003.0006.
Повний текст джерелаTaxman, Faye S., and Mary Mun. Recidivism. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780199374847.003.0013.
Повний текст джерелаEl 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.
Повний текст джерелаRosen, 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.
Повний текст джерелаBoken, 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.
Повний текст джерелаHuggins, 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.
Повний текст джерелаFriedrich, 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.
Повний текст джерелаTaxman, Faye S. Dual diagnosis. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199360574.003.0045.
Повний текст джерелаAraú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.
Повний текст джерелаDahl, Vegard, and Ulrich J. Spreng. Anaesthesia for non-obstetric surgery. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780198713333.003.0010.
Повний текст джерелаKoman, 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.
Повний текст джерелаColvin, 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.
Повний текст джерелаGallagher, Shaun. Enactivist Interventions. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198794325.001.0001.
Повний текст джерелаZydroń, 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.
Повний текст джерелаShengelia, Revaz. Modern Economics. Universal, Georgia, 2021. http://dx.doi.org/10.36962/rsme012021.
Повний текст джерела