Bibliografías temáticas / Higher-order theorie / Libros

Libros sobre el tema "Higher-order theorie"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Higher-order theorie.
Autor: Grafiati
Publicado: 14 de marzo de 2023

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores mejores libros para su investigación sobre el tema "Higher-order theorie".

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.

1

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

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Deninger, Christopher. Higher order operations in Deligne cohomology. [Münster: Mathematischen Instituts der Universität Münster, 1991.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

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

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

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

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

O, Demuren Ayodeji, Carpenter Mark y Institute for Computer Applications in Science and Engineering., eds. 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

O, Demuren A., Carpenter Mark y Institute for Computer Applications in Science and Engineering., eds. 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

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

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

1956-, Carreño Victor A., Muñoz César A. 1968- y Tahar Sofiène 1966-, eds. Theorem proving in higher order logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings. Berlin: Springer, 2002.

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

1960-, Joyce Jeffrey J., Seger Carl-Johan H y HOL User's Group Workshop (6th : 1993 : Vancouver, B.C.), eds. 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.

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

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

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

J, 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 completo
Los estilos 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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

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

Texto completo
Resumen
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.
Los estilos 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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Higher order Fourier analysis. 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Shapiro, Stewart. Higher‐order Logic. Editado por Stewart Shapiro. Oxford University Press, 2009. http://dx.doi.org/10.1093/oxfordhb/9780195325928.003.0025.

Texto completo
Resumen
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.
Los estilos 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

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

Buscar texto completo
Los estilos 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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

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

Buscar texto completo
Los estilos 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.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Higher-order theorie" para otros tipos de fuentes:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía