Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "computable function"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
"computable function" »
"computable functions"
,
"computable functionals"
,
"computable relations"
Showing
1
-
20
of
89
Search:
'"computable function"'
,
query time: 0.14s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Computable structure theory : within the arithmetic
by
Montalbán, Antonio
Published 2021
Cambridge University Press
Subjects:
“
...
Computable
functions
...
”
Call Number:
QA9.59
Read Now
2
OCaml Scientific Computing : Functional Programming in Data Science and Artificial Intelligence
by
Wang, Liang
,
Zhao, Jianxin
,
Mortier, Richard
Published 2022
Springer International Publishing
Read Now
3
Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory
by
Malitz, Jerome
Published 1979
Springer New York
Table of Contents:
“
... Operator” -- 2.5 Of Men and Machines -- 2.6 Non-
computable
Functions
-- 2.7 Universal Machines -- 2.8...
”
Read Now
4
Effective mathematics of the uncountable
Published 2013
Cambridge University Press
Subjects:
“
...
Computable
functions
...
”
Call Number:
QA9.7
Read Now
5
Proofs and computations
by
Schwichtenberg, Helmut
,
Wainer, S. S.
Published 2012
Cambridge University Press
Subjects:
“
...
Computable
functions
...
”
Call Number:
QA9.54
Read Now
6
Computability in analysis and physics
by
Pour-El, Marian B.
,
Richards, J. Ian
Published 2016
Cambridge University Press
Subjects:
“
...
Computable
functions
...
”
Call Number:
QA9.59
Read Now
7
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Published 1999
Cambridge University Press
Subjects:
“
...
Computable
functions
/ Congresses...
”
Call Number:
QA9.A1
Read Now
8
Computation and automata
by
Salomaa, Arto
Published 1985
Cambridge University Press
Subjects:
“
...
Computable
functions
...
”
Call Number:
QA9.59
Read Now
9
An invitation to applied category theory : seven sketches in compositionality
by
Fong, Brendan
,
Spivak, David I.
Published 2019
Cambridge University Press
Subjects:
“
...
Computable
functions
...
”
Call Number:
QA9.25
Read Now
10
Handbook of computability theory
by
Griffor, Edward R.
Published 1999
Elsevier
Subjects:
“
...
Computable
functions
/ http://id.loc.gov/authorities/subjects/sh85029469...
”
Call Number:
QA9.59
Read Now
11
Computable structures and the hyperarithmetical hierarchy
by
Ash, C. J.
Published 2000
Elsevier
Subjects:
“
...
Computable
functions
/ http://id.loc.gov/authorities/subjects/sh85029469...
”
Call Number:
QA9.59
Read Now
12
Endliche Modelltheorie
by
Geschke, Stefan
Published 2023
Springer Berlin Heidelberg
Subjects:
“
...
Computable
functions
...
”
Read Now
13
Reverse Mathematics : Problems, Reductions, and Proofs
by
Dzhafarov, Damir D.
,
Mummert, Carl
Published 2022
Springer International Publishing
Subjects:
“
...
Computable
functions
...
”
Read Now
14
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
by
Arruda, A. I.
Published 1977
North-Holland Pub. Co.
Subjects:
“
...
Computable
functions
/ fast / (OCoLC)fst00871985...
”
Call Number:
QA9.4
Read Now
15
Introduction to formal languages, automata theory and computation
by
Krithivasan, Kamala
Published 2009
Dorling Kindersley
Subjects:
“
...
Computable
functions
/ fast / (OCoLC)fst00871985...
”
Call Number:
QA267.3
Read Now
16
Computability
by
Tourlakis, George
Published 2022
Springer International Publishing
Subjects:
“
...
Computable
functions
...
”
Read Now
17
Programs as Diagrams : From Categorical Computability to Computable Categories
by
Pavlovic, Dusko
Published 2023
Springer Nature Switzerland
Subjects:
“
...
Computable
functions
...
”
Read Now
18
Automata Theory and Formal Languages : Fundamental Notions, Theorems, and Techniques
by
Pettorossi, Alberto
Published 2022
Springer International Publishing
Subjects:
“
...
Computable
functions
...
”
Read Now
19
Algorithms for Constructing Computably Enumerable Sets
by
Supowit, Kenneth J.
Published 2023
Birkhäuser
Subjects:
“
...
Computable
functions
...
”
Read Now
20
Computability and Complexity : Foundations and Tools for Pursuing Scientific Applications
by
Downey, Rod
Published 2024
Springer Nature Switzerland
Subjects:
“
...
Computable
functions
...
”
1
2
3
4
5
Back
Narrow Search
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
25
005 - Computer programming, programs & data
16
511 - General principles of mathematics
16
621 - Applied physics
4
160 - Logic
3
510 - Mathematics
3
more ...
518 - Numerical analysis
3
519 - Probabilities & applied mathematics
3
570 - Life sciences; biology
3
000 - Computer science, information & general works
2
128 - Humankind
2
620 - Engineering & allied operations
2
001 - Knowledge
1
006 - Special computer methods
1
140 - Specific philosophical schools
1
170 - Ethics
1
300 - Social sciences
1
330 - Economics
1
333 - Economics of land & energy
1
500 - Natural sciences & mathematics
1
512 - Algebra
1
572 - Biochemistry
1
600 - Technology
1
610 - Medicine & health
1
615 - Pharmacology & therapeutics
1
629 - Other branches of engineering
1
700 - The arts; fine & decorative arts
1
720 - Architecture
1
900 - History & geography
1
see all ...
less ...
Language
English
86
German
3
Collection
Springer Book Archives -2004
39
Springer eBooks 2005-
26
Cambridge Books Online
9
O'Reilly
5
Elsevier eBook collection Mathematics
4
Directory of Open Access Books
2
more ...
MIT Press eBook Archive
2
DeGruyter MPG Collection
1
Edward Elgar eBook Archive
1
see all ...
less ...
Author
Association for Symbolic Logic
3
Diaz, Josep
3
Schwichtenberg, Helmut
3
Balcazar, Jose L.
2
Cooper, S. B.
2
Gabarro, Joaquim
2
more ...
Wainer, S. S.
2
Albury, W.R.
1
Alves-Foss, James
1
Amestoy, Patrick
1
Aravantinos, Vincent
1
Arbib, Michael A.
1
Arruda, A. I.
1
Ash, C. J.
1
Banda, Maria Garcia
1
Bauer, Friedrich L.
1
Beckmann, Arnold
1
Berger, Ulrich
1
Bhattacharya, Sanjoy K.
1
Blanck, Jens
1
Blikle, A.
1
Börger, E.
1
Brattka, Vasco
1
Brauer, Wilfried
1
Brauer, Wilfried von
1
Buechner, Jeff
1
Böhm, C.
1
Cabestany, Joan
1
Cai, Jin-Yi
1
Calude, Christian S.
1
Celko, Joe
1
Chabert, Jean-Luc
1
Chuaqui, R.
1
Conny Kopp-Scheinpflug
1
Cooper, Barry S.
1
Costa, Newton C. A. da
1
Darche, Philippe
1
Dayde, Michel
1
Dershowitz, Nachum
1
Dessimoz, Christophe
1
Doi, Atsushi
1
Dongarra, Jack
1
Dowek, Gilles
1
Downey, Rod
1
Durand-Lose, Jérôme
1
Dzhafarov, Damir D.
1
Ehrig, Hartmut
1
Felleisen, Matthias
1
Fersman, Elena
1
Fong, Brendan
1
Freire, Elisabete
1
Friedman, Daniel P.
1
Geschke, Stefan
1
Greenberg, Noam
1
Griffor, Edward R.
1
Grundy, Jim
1
Grzegorczyk, A.
1
Grzegorczyk, Andrzej
1
Gürdür, Didem
1
Hamkins, Joel David
1
Harrison, John
1
Hassell, Jonathan
1
Henley, Ernest J.
1
Hennessy, Matthew
1
Hermes, Hans
1
Hertling, Peter
1
Hindley, J. Roger
1
Hirschfeldt, Denis Roman
1
Horn, Martin
1
Hämeen-Anttila, Maria
1
Ian D. Forsythe
1
Igarashi, Atsushi
1
Jhala, Ranjit
1
Karhumäki, Juhani
1
Kfoury, A.J.
1
Kihara, Daisuke
1
Kinsella, Stephen
1
Knight, J.
1
Kreowski, Hans-Jörg
1
Krithivasan, Kamala
1
Kung, H.T.
1
Kutylowski, Miroslaw
1
Lam, Kwok Yan
1
Latin-American Symposium on Mathematical Logic ( 1976, State University of Campinas)
1
Latouche, Guy
1
Lepistö, Arto
1
Li, Angsheng
1
Loeckx, J.
1
Logic Colloquium (1997, Leeds, England)
1
Luby, Michael
1
Löwe, Benedikt
1
Malitz, Jerome
1
Matsuno, Hiroshi
1
Mattoso, Marta
1
Mazurkiewicz, A.
1
Miller, Russell
1
Mira, Jose
1
Moll, Robert N.
1
Montalbán, Antonio
1
Morales, Rafael
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?lookfor=%22computable+function%22&type=AllFields
Send by Email
×
Loading...