Livres sur le sujet « Higher-order term »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 43 meilleurs livres pour votre recherche sur le sujet « Higher-order term ».
À 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.
Heering, Jan, Karl Meinke, Bernhard Möller et Tobias Nipkow, dir. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg : Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58233-9.
Texte intégralDowek, Gilles, Jan Heering, Karl Meinke et Bernhard Möller, dir. Higher-Order Algebra, Logic, and Term Rewriting. Berlin, Heidelberg : Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61254-8.
Texte intégralGilles, Dowek, et International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany), dir. Higher-order algebra, logic, and term rewriting : Second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers. Berlin : Springer, 1996.
Trouver le texte intégralJ, Heering, et International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands), dir. 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.
Trouver le texte intégralMironov, Rinat, Sergey Zubarev et Marsel' Valeev. Law enforcement and judicial authorities. ru : INFRA-M Academic Publishing LLC., 2023. http://dx.doi.org/10.12737/1891021.
Texte intégralTyulin, Andrey, et Aleksandr Chursin. Management of competitiveness of products. ru : INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1081761.
Texte intégralHeering, Jan, Karl Meinke et Gilles Dowek. Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers. Springer, 2014.
Trouver le texte intégralHeering, Jan, Karl Meinke et 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.
Trouver le texte intégralHigher-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.
Trouver le texte intégralLogic, 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.
Trouver le texte intégralMoller, Bernhard, Jan Heering et 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.
Trouver le texte intégral(Editor), Gilles Dowek, dir. 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.
Trouver le texte intégralMaloney, J. Christopher. Higher Order Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190854751.003.0005.
Texte intégralEffects of Higher Order Viscosity Terms on Fluid Flow. Creative Media Partners, LLC, 2021.
Trouver le texte intégralBriggs, 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.
Trouver le texte intégralBasel, Bettina. Dipolar Correlation Spectroscopy : Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Spektrum, 2015.
Trouver le texte intégralBasel, Bettina. Dipolar Correlation Spectroscopy : Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH, 2015.
Trouver le texte intégralBasel, Bettina. Dipolar Correlation Spectroscopy : Higher-Order Correlation Terms in Three-Spin Double Electron-Electron Resonance. Springer Spektrum, 2015.
Trouver le texte intégralDever, Josh. What is Philosophical Methodology ? Sous la direction de Herman Cappelen, Tamar Szabó Gendler et John Hawthorne. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780199668779.013.34.
Texte intégralHodges, John R. Distributed Cognitive Functions. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780198749189.003.0001.
Texte intégralMartin-Loeches, Ignacio, et Antonio Artigas. Respiratory support with positive end-expiratory pressure. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780199600830.003.0094.
Texte intégralRosenthal, David. Seeming to Seem. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199367511.003.0009.
Texte intégralCanning, 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.
Texte intégralŽ. Jovanović, Vladimir. FUNCTIONAL ENGLISH. Filozofski fakultet Niš, 2021. http://dx.doi.org/10.46630/fen.2021.
Texte intégralElger, Bernice S. Management of sleep complaints in correctional settings. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199360574.003.0016.
Texte intégralLatour, Melinda. Santana and the Metaphysics of Tone. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199985227.003.0010.
Texte intégralMays, J. C. C. Contemplation in Coleridge’s Poetry. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198799511.003.0002.
Texte intégralCroasmun, Matthew. The Emergence of Persons Great and Small. Oxford University Press, 2017. http://dx.doi.org/10.1093/acprof:oso/9780190277987.003.0004.
Texte intégralLinnebo, Øystein. Predicative vs. Impredicative Abstraction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780199641314.003.0006.
Texte intégralTaxman, Faye S., et Mary Mun. Recidivism. Oxford University Press, 2018. http://dx.doi.org/10.1093/med/9780199374847.003.0013.
Texte intégralEl Karoui, Noureddine. Algebraic geometry and matrix models. Sous la direction de Gernot Akemann, Jinho Baik et Philippe Di Francesco. Oxford University Press, 2018. http://dx.doi.org/10.1093/oxfordhb/9780198744191.013.29.
Texte intégralRosen, Christopher C., Eric J. Yochum, Liana G. Passantino, Russell E. Johnson et Chu-Hsiang Chang. Review and Recommended Best Practices for Measuring and Modeling Organizational Citizenship Behavior. Sous la direction de Philip M. Podsakoff, Scott B. Mackenzie et Nathan P. Podsakoff. Oxford University Press, 2016. http://dx.doi.org/10.1093/oxfordhb/9780190219000.013.42.
Texte intégralBoken, Vijendra K., Arthur P. Cracknell et Ronald L. Heathcote. Monitoring and Predicting Agricultural Drought. Oxford University Press, 2005. http://dx.doi.org/10.1093/oso/9780195162349.001.0001.
Texte intégralHuggins, Mike, Paul Christesen, Noel Fallows, Alessandro Arcangeli, Rebekka von Mallinckrodt, Mike Huggins, Steven Riess et Charles Stocking, dir. A Cultural History of Sport in the Age of Industry. Bloomsbury Publishing Plc, 2021. http://dx.doi.org/10.5040/9781350183032.
Texte intégralFriedrich, Alexander, Petra Gehring, Christoph Hubig, Andreas Kaminski et Alfred Nordmann, dir. Steuern und Regeln. Nomos Verlagsgesellschaft mbH & Co. KG, 2019. http://dx.doi.org/10.5771/9783845296548.
Texte intégralTaxman, Faye S. Dual diagnosis. Oxford University Press, 2015. http://dx.doi.org/10.1093/med/9780199360574.003.0045.
Texte intégralAraú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.
Texte intégralDahl, Vegard, et Ulrich J. Spreng. Anaesthesia for non-obstetric surgery. Oxford University Press, 2016. http://dx.doi.org/10.1093/med/9780198713333.003.0010.
Texte intégralKoman, Kacper, et 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.
Texte intégralColvin, Lesley A., et Marie T. Fallon. Pain physiology in anaesthetic practice. Sous la direction de Jonathan G. Hardman. Oxford University Press, 2017. http://dx.doi.org/10.1093/med/9780199642045.003.0009.
Texte intégralGallagher, Shaun. Enactivist Interventions. Oxford University Press, 2017. http://dx.doi.org/10.1093/oso/9780198794325.001.0001.
Texte intégralZydroń, 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.
Texte intégralShengelia, Revaz. Modern Economics. Universal, Georgia, 2021. http://dx.doi.org/10.36962/rsme012021.
Texte intégral