Se connecter

Bibliographies thématiques / Higher-order theorie / Livres

Livres sur le sujet « Higher-order theorie »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Higher-order theorie.

Auteur : Grafiati

Publié le 14 mars 2023

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Higher-order theorie ».

À 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.

1

Gennaro, Rocco J., dir. Higher-Order Theories of Consciousness. Amsterdam : John Benjamins Publishing Company, 2004. http://dx.doi.org/10.1075/aicr.56.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

J, Gennaro Rocco, dir. Higher-order theories of consciousness : An anthology. Amsterdam : John Benjamins, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

Alestalo, Pekka. Uniform domains of higher order. Helsinki : Suomalainen Tiedeakatemia, 1994.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Deninger, Christopher. Higher order operations in Deligne cohomology. [Münster : Mathematischen Instituts der Universität Münster, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

Rahul, Mukerjee, dir. Probability Matching Priors : Higher Order Asymptotics. New York, NY : Springer New York, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Kumar, Nandi Asoke, dir. Blind estimation using higher-order statistics. Boston : Kluwer Academic, 1999.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

7

Higher order asymptotic theory for time series analysis. Berlin : Springer-Verlag, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

8

Galiffa, Daniel J. On the Higher-Order Sheffer Orthogonal Polynomial Sequences. New York, NY : Springer New York, 2013.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

Angeletos, Marios. Incomplete information, higher order beliefs, and price inertia. Cambridge, MA : Massachusetts Institute of Technology, Dept. of Economics, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Higher Order Workshop (4th 1990 Banff, Alta.). IV Higher Order Workshop, Banff 1990 : Proceedings of the IV Higher Order Workshop, 10-14 September 1990, Banff, Canada. London : Springer-Verlag, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

Nonlinear prediction ladder-filters for higher-order stochastic sequences. Berlin : Springer-Verlag, 1985.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

Adrian, Melott, Wei A. G et United States. National Aeronautics and Space Administration., dir. Testing higher-order Lagrangian perturbation theory against numerical simulations. [Washington, D.C : National Aeronautics and Space Administration, 1995.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

L, Melott A., Wei A. G et United States. National Aeronautics and Space Administration., dir. Testing higher-order Lagrangian perturbation theory against numerical simulations. [Washington, D.C : National Aeronautics and Space Administration, 1995.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

Center, Langley Research, dir. Sensitivity analysis of complex coupled systems to second and higher order derivatives. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 1989.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

15

Pierce, Donald A. Practical use of higher-order asymptotics for multiparameter exponential families. Corvallis, Ore : Dept. of Statistics, Oregon State University, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Pierce, Donald A. Practical use of higher-order asymptotics for multiparameter exponential families. Corvallis, Ore : Dept. of Statistics, Oregon State University, 1991.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Kocic, V. L. Global Behavior of Nonlinear Difference Equations of Higher Order with Applications. Dordrecht : Springer Netherlands, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

18

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 Leuven, Belgium). Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92. Amsterdam : North-Holland, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

Center, Langley Research, dir. A higher-order bending theory for laminated composite and sandwich beams. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

Center, Langley Research, dir. A higher-order bending theory for laminated composite and sandwich beams. Hampton, Va : National Aeronautics and Space Administration, Langley Research Center, 1997.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

21

Gordon, Michael J. C., 1948- et Melham T. F, dir. Introduction to HOL : A theorem proving environment for higher order logic. Cambridge : Cambridge University Press, 1993.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

22

O, Demuren Ayodeji, Carpenter Mark et Institute for Computer Applications in Science and Engineering., dir. Higher-order compact schemes for numerical simulation of incompressible flows. Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

O, Demuren A., Carpenter Mark et Institute for Computer Applications in Science and Engineering., dir. Higher-order compact schemes for numerical simulation of incompressible flows. Hampton, VA : Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

David, Basin, et Wolff Burkhart 1962-, dir. Theorem proving in higher order logics : 16 international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings. New York : Springer, 2003.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

25

TPHOLs '96 (1996 Turku, Finland). Theorem proving in higher order logics : 9th international conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings. Berlin : Springer, 1996.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

TPHOLs 2002 (2002 Hampton, Va.). Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Berlin : Springer, 2002.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

1956-, Carreño Victor A., Muñoz César A. 1968- et Tahar Sofiène 1966-, dir. Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Berlin : Springer, 2002.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

TPHOLs 2000 (2000 Portland, Or.). Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings. New York : Springer, 2000.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

TPHOLs 2002 (15th 2002 Hampton, Va.). Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. New York : Springer, 2002.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

Workshop on Higher-Order Spectral Analysis (1989 Vail, Colo.). Workshop on Higher-Order Spectral Analysis : The Lodge at Vail, Vail, Colorado, June 28-30, 1989. [New York ? : IEEE, 1989.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

F, Melham T., et Camilleri Juanito, dir. Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings. Berlin : Springer-Verlag, 1994.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

1960-, Joyce Jeffrey J., Seger Carl-Johan H et HOL User's Group Workshop (6th : 1993 : Vancouver, B.C.), dir. Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings. Berlin : Springer-Verlag, 1994.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

David, Hutchison. Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

R, Rodrigues Paulo, dir. Generalized classical mechanics and field theory : A geometrical approach of Lagrangian and Hamiltonian formalisms involving higher order derivatives. Amsterdam : North-Holland, 1985.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Makarius, Wenzel, Urban Christian, Nipkow Tobias et SpringerLink (Online service), dir. Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

1967-, Schneider Klaus, et Brandt Jens 1978-, dir. Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings. Berlin : Springer, 2007.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

1959-, Schubert E. Thomas, Windley Phillip J. 1958- et Alves-Foss James 1964-, dir. Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings. Berlin : Springer-Verlag, 1995.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

TPHOLs '98 (1998 Canberra, A.C.T.). Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings. Berlin : Springer, 1998.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

39

J, 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égral

Styles APA, Harvard, Vancouver, ISO, etc.

40

Rosenthal, David M. Higher‐Order Theories of Consciousness. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780199262618.003.0014.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

Gennaro, Rocco J. Higher-Order Theories of Consciousness : An Anthology. Benjamins Publishing Company, John, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

42

Jané, Ignacio. Higher‐order Logic Reconsidered. Sous la direction de Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0026.

Texte intégral

Résumé :

This article discusses canonical (i.e., full, or standard) second-order consequence and argues against it being a case of logical consequence. The discussion is divided into three parts. The first part comprises the first three sections. After stating the problem in Section 1, Sections 2 and 3 examine the role that the consequence relation is expected to play in axiomatic theories. This leads to put forward two requirements on logical consequence, which are called “formality” and “noninterference.” It is this last requirement that canonical second-order consequence violates, as the article sets out to substantiate. The fourth section argues that canonical second-order logic is inadequate for axiomatizing set theory, on the grounds that it codes a significant amount of set-theoretical content.

Styles APA, Harvard, Vancouver, ISO, etc.

43

Maloney, J. Christopher. Higher Order Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190854751.003.0005.

Texte intégral

Résumé :

Rosenthal's rendition of representationalism denies intentionalism. His higher order theory instead asserts that a perceptual state's phenomenal character is set by that state's being related to, because represented by, another, but higher order, cognitive state. The theory arises from the doubtful supposition of unconscious perception and mistakenly construes intrinsic phenomenal character extrinsically, as one state's serving as the content of another. Yet it remains mysterious how and why a higher order state might be so potent as to determine phenomenal character at all. Better to resist higher order theory’s embrace of dubious unconscious perceptual states and account for states so-called simply in terms of humdrum mnemonic malfeasance. Moreover, since the suspect theory allows higher order misrepresentation, it implies sufferance of impossible phenomenal character. Equally problematic, representationalism pitched at the higher order entails the existence of bogus phenomenal character when upstairs states represent downstairs nonperceptual states.

Styles APA, Harvard, Vancouver, ISO, etc.

44

Higher order Fourier analysis. 2012.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Shapiro, Stewart. Higher‐order Logic. Sous la direction de Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0025.

Texte intégral

Résumé :

The philosophical literature contains numerous claims on behalf of and numerous claims against higher-order logic. Virtually all of the issues apply to second-order logic (vis-à-vis first-order logic), so this article focuses on that. It develops the syntax of second-order languages and present typical deductive systems and model-theoretic semantics for them. This will help to explain the role of higher-order logic in the philosophy of mathematics. It is assumed that the reader has at least a passing familiarity with the theory and metatheory of first-order logic.

Styles APA, Harvard, Vancouver, ISO, etc.

46

Toledo, S. A. Tableau Systems for First Order Number Theory and Certain Higher Order Theories. Springer London, Limited, 2006.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

Higher-Order Evidence : New Essays. Oxford University Press, 2019.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

48

MacBride, Fraser. Russell’s Higher-Order Judgement Relation. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198811251.003.0009.

Texte intégral

Résumé :

This chapter radically redraws the relationship between Russell and Wittgenstein in the 1910s, overturning the orthodox theory that Wittgenstein sunk Russell’s multiple theory of judgement. Starting from 1903, the chapter explains how Russell’s conception of the particular–universal distinction evolved under pressure from both developments in his thinking about the nature of judgement and the nature of relations, concerning the unity of the former and the direction of the latter. This shows that Russell wasn’t overcome by Wittgenstein’s criticisms of his multiple relation theory of judgement in 1913 and that Russell continued to develop the multiple relation theory up until 1919.

Styles APA, Harvard, Vancouver, ISO, etc.

49

Probability Matching Priors : Higher Order Asymptotics. Springer, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

50

Gennaro, Rocco J. Higher-Order Theories of Consciousness : An Anthology (Advances in Consciousness Research). John Benjamins Publishing Co, 2004.

Trouver le texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!