Relevant bibliographies by topics / Higher-order theorie / Books

Books on the topic 'Higher-order theorie'

To see the other types of publications on this topic, follow the link: Higher-order theorie.
Author: Grafiati
Published: 14 March 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 books for your research on the topic 'Higher-order theorie.'

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.

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
11

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
12

Adrian, Melott, Wei A. G, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
13

L, Melott A., Wei A. G, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
15

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
16

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
17

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
21

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
22

O, Demuren Ayodeji, Carpenter Mark, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
23

O, Demuren A., Carpenter Mark, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
24

David, Basin, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
27

1956-, Carreño Victor A., Muñoz César A. 1968-, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
31

F, Melham T., and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
32

1960-, Joyce Jeffrey J., Seger Carl-Johan H, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
35

Makarius, Wenzel, Urban Christian, Nipkow Tobias, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
36

1967-, Schneider Klaus, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
37

1959-, Schubert E. Thomas, Windley Phillip J. 1958-, and 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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
39

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.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
40

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
42

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
43

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
44

Higher order Fourier analysis. 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
45

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
46

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
47

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
48

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
49

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
50

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

Find full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Higher-order theorie' for other source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography