Books on the topic 'Classes of recursive functions'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Classes of recursive functions.'
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.
Sanchis, Luis E. Recursive functionals. Amsterdam: North-Holland, 1992.
Find full textMurawski, Roman. Recursive Functions and Metamathematics. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-017-2866-9.
Full textRecursive algorithms. Norwood, N.J: Ablex Pub. Corp., 1994.
Find full textMarcet, Albert. Recursive contracts. Florence: European University Institute, 1998.
Find full textZilles, Sandra. Uniform learning of recursive functions. Berlin: Akademische Verlagsgesellschaft Aka, 2003.
Find full textTheory of recursive functions and effective computability. Cambridge, Mass: MIT Press, 1987.
Find full textHong, Chew Soo. Recursive utility under uncertainty. Toronto: Dept. of Economics and Institute for Policy Analysis, University of Toronto, 1990.
Find full textRogers, Hartley. Theory of recursive functions and effective computability. Cambridge, Mass: MIT Press, 1987.
Find full textStokey, Nancy L. Recursive Methods in Economic Dynamics. Cambridge, MA, USA: Harvard University Press, 1989.
Find full textJ, Sargent Thomas, ed. Recursive macroeconomic theory. 3rd ed. Cambridge, MA: MIT Press, 2012.
Find full textSanchis, Luis E. Reflexive structures: An introduction to computability theory. New York: Springer-Verlag, 1988.
Find full textWeihrauch, Klaus. Computability. Berlin: Springer-Verlag, 1987.
Find full textWeihrauch, K. Computability. Berlin: Springer-Verlag, 1987.
Find full textI, Malʹt͡sev A. Algoritmy i rekursivnye funkt͡sii. 2nd ed. Moskva: "Nauka," Glav. red. fiziko-matematicheskoĭ lit-ry, 1986.
Find full textRoy, Richard. Real-time flutter identification. [Washington, D.C.]: National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1985.
Find full text1954-, Yin George, and Kushner Harold J. 1933-, eds. Stochastic approximation and recursive algorithms and applications. New York: Springer, 2003.
Find full textMinimum impatience theorems for recursive economic models. Berlin: Springer-Verlag, 1992.
Find full textDynamic data processing: Recursive least-squares. Delft: Delft University Press, 2001.
Find full textA recursive introduction to the theory of computation. New York: Springer-Verlag, 1994.
Find full textH, Smith Carl. A recursive introduction to the theory of computation. New York: Springer, 1994.
Find full textV, Beli͡a︡kin N., ed. Obshchai͡a︡ teorii͡a︡ vychisleniĭ s orakulami. Novosibirsk: Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki, 1989.
Find full textKim, Hong-gyun. 2-kaeguk ilban kyunhyŏng mohyŏng esŏ pon hwanʼgyŏng oyŏm kwa tʻuja ŭi husaeng mit pʻagŭp hyokwa punsŏk. Sŏul Tʻŭkpyŏlsi: Hanʼguk Hwanʼgyŏng Kisul Kaebarwŏn, 1994.
Find full textJ, Sargent Thomas, ed. Recursive macroeconomic theory. 2nd ed. Cambridge, Mass: MIT Press, 2004.
Find full textLjungqvist, Lars. Recursive macroeconomic theory. Cambridge, Mass: MIT Press, 2000.
Find full textMcVeigh, Brian. Multiple functions in equivalence classes. [S.l: The Author), 2004.
Find full textMurawski, Roman. Recursive functions and metamathematics: Problems of completeness and decidability, Gödel's theorems. Dordrecht, Netherlands: Kluwer Academic, 1999.
Find full textIrigoyen, Claudio. Solutions manual for Recursive methods in economic dynamics. Cambridge, Mass: Harvard University Press, 2002.
Find full text1954-, Yin George, ed. Stochastic approximation and recursive algorithms and applications. 2nd ed. New York: Springer, 2003.
Find full textMurawski, Roman. Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems. Dordrecht: Springer Netherlands, 1999.
Find full textBerechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen. Bremen: Universitätsdruckerei Bremen, 2003.
Find full textIvanchik, Igor I. Generalized Mayer series in classical statistical mechanics. New York: Nova Science Publishers, 1993.
Find full textDie These von Church: Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie. Frankfurt am Main: P. Lang, 1997.
Find full textC. C. J. M. Tiberius. Recursive data processing for kinematic GPS surveying. Delft: Nederlandse Commissie Voor Geodesie, 1998.
Find full textKemp, Gordon C. R. W-equivalence classes of restriction functions. [Colchester]: University of Essex, Dept.of Economics, 1988.
Find full textRecursive identification based on the nonlinear Wiener model. Uppsala: Academia Upsaliensis, 1990.
Find full textChung, Jin-Gyun. Pipelined Lattice and Wave Digital Recursive Filters. Boston, MA: Springer US, 1996.
Find full textGames and full abstraction for a functional metalanguage with recursive types. Berlin: Springer, 1998.
Find full textCowan, Daniel A. Seeing negation as always dependent frees mathematical logic from paradox, incompleteness, and undecidability-- and opens the door to its positive possibilities. San Mateo, CA: Joseph Publishing Company, 2008.
Find full textElementary induction on abstract structures. Mineola, N.Y: Dover Publications, 2008.
Find full textFeatherstone, Roy. Robot dynamics algorithms. Boston: Kluwer, 1987.
Find full textMoskowitz, Herbert. Preference order recursion for finding relevant pure admissible and optimal statistical decision functions. West Lafayette, Ind: Institute for Research in the Behavioral, Economic, and Management Sciences, Krannert Graduate School of Management, Purdue University, 1987.
Find full textRobot dynamics algorithms. Boston: Kluwer Academic Publishers, 1987.
Find full textCiesielski, Krzysztof. I-density continuous functions. Providence, RI: American Mathematical Society, 1994.
Find full textQuasipower series and quasianalytic classes of functions. Providence, RI: American Mathematical Society, 2002.
Find full textRosenblum, Marvin. Topics in Hardy classes and univalent functions. Basel: Birkhäuser, 1994.
Find full textRosenblum, Marvin, and James Rovnyak. Topics in Hardy Classes and Univalent Functions. Basel: Birkhäuser Basel, 1994. http://dx.doi.org/10.1007/978-3-0348-8520-1.
Full textWeihrauch, Klaus. Computability. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987.
Find full textCiesielski, Krzysztof. I-density continuous functions. Providence, RI: American Mathematical Society, 1994.
Find full textChung, Jin-Gyun. Pipelined lattice and wave digital recursive filters. Boston: Kluwer Academic Publishers, 1996.
Find full textKim, Jinwon. A cube-based recursive goal-oriented method for the synthesis of Boolean logic functions. Ottawa: National Library of Canada = Bibliothèque nationale du Canada, 1993.
Find full text