Search Results - "computable function"
Suggested Topics within your search.
Suggested Topics within your search.
- Computable functions 163
- Computer science 40
- Mathematics 36
- Logic, Symbolic and mathematical 33
- Computational complexity 25
- Machine theory 23
- Data processing 18
- Algorithms 16
- Computers 15
- Recursive functions 14
- Computer programming 11
- Computer Assisted Instruction 9
- Formal languages 9
- Set theory 8
- Computer Literacy 7
- Higher Education 7
- Mathematical analysis 7
- Proof theory 7
- Recursion theory 7
- Data structures (Computer science) 6
- Sequential machine theory 6
- Unsolvability (Mathematical logic) 6
- Artificial intelligence 5
- Cloud computing 5
- Computer Oriented Programs 5
- Computer Programs 5
- Data Processing 5
- Functional programming languages 5
- Logic 5
- Mathematics And Computing 5
-
221
The gene ontology handbook /
Published 2016Table of Contents: “…Evaluation of Computational Function Prediction -- Get GO!: Retrieving GO …”
Book -
222
Computability, complexity, and languages fundamentals of theoretical computer science /
Published 1983Table of Contents: “…2. Programs and Computable Functions; 1. A Programming Language; 2. Some …”
Full Text (via ScienceDirect)
Electronic eBook -
223
Computability, complexity, and languages : fundamentals of theoretical computer science /
Published 1983Table of Contents: “…2. Programs and Computable Functions; 1. A Programming Language; 2. Some …”
Full Text (via ProQuest)
eBook -
224
Combinators, [lambda]-Terms and Proof Theory /
Combinators, λ-Terms and Proof Theory /Published 1972Table of Contents: “…results -- 4. Computable Functionals of Finite Type -- 1. Introduction -- …”
Full Text (via Springer)
eBook -
225
Multiscale analysis and nonlinear dynamics from genes to the brain /
Published 2013Table of Contents: “…Multiscale Encoding: A Computational Function of Neuronal Synchronization / Misha …”
Full Text (via Wiley)
Electronic eBook -
226
Developments in language theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings /
Published 2015Table of Contents: “…restarting automata that compute functions -- Weight Assignment Logic -- Complexity …”
Full Text (via Springer)
Conference Proceeding eBook -
227
Mathematical Logic /
Published 1990Table of Contents: “…Hierarchies of Provably Computable Functions -- Conference (Contributed Papers) -- …”
Full Text (via Springer)
eBook -
228
Provable and practical security 14th International Conference, ProvSec 2020, Singapore, November 29 - December 1, 2020, Proceedings /
Published 2020Table of Contents: “…Signature with Computational Function Preserving -- Privacy-Preserving Authentication …”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
229
An Outline of Mathematical Logic : Fundamental Results and Notions Explained with all Details /
Published 1974Table of Contents: “…Properties of Computable Functions 417 -- 3. Effectiveness of Methods of …”
Full Text (via Springer)
eBook -
230
Optimality theory in phonology a reader /
Published 2004Table of Contents: “…Theory -- 6 Non-computable Functions in Optimality Theory -- Part III Prosody …”
Full Text (via Wiley)
Electronic eBook -
231
An Outline of Mathematical Logic : Fundamental Results and Notions Explained with All Details /
Published 1974Table of Contents: “…Properties of Computable Functions -- 3. Effectiveness of Methods of Proof …”
Full Text (via Springer)
eBook -
232
Algorithms: Main Ideas and Applications
Published 1993Table of Contents: “…generation -- 1.7 Computable functions and generable sets; decidable sets; …”
Full Text (via Springer)
Electronic eBook -
233
Mathematical Foundations of Computer Science : 3rd Symposium at Jadwisin near Warsaw, June 17-22, 1974 /
Published 1975Table of Contents: “…Z-machines, Z-computable functions and sets of functions of n real variables …”
Full Text (via Springer)
Conference Proceeding eBook -
234
Advances in Nuclear Science and Technology : Volume 11 /
Published 1979Table of Contents: “…Introduction -- II. Computer Functions and Application Classes -- III. Functions …”
Full Text (via Springer)
eBook -
235
Functional grammar in Prolog : an integrated implementation for English, French, and Dutch /
Published 1992Table of Contents: “…Previous work on computational Functional Grammar""; ""1.3. The structure of …”
Full Text (via ProQuest)
eBook -
236
Mathematical foundations of computer science 1999 24th international symposium, MFCS'99, Szklarska Poręba, Poland, September 6-10, 1999 : proceedings /
Published 1999Table of Contents: “…in Distributed Computing -- Functional Programming -- An Improved Disjunctive …”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
237
VLSI Systems and Computations /
Published 1981Table of Contents: “…Systems and Computations -- Functional Extensibility: Making The World Safe …”
Full Text (via Springer)
eBook -
238
Cloud computing security : foundations and challenges /
Published 2021Table of Contents: “…2.7.3 ITU-T Cloud Computing Functional Reference Architecture -- 2.8 Network …”
Full Text (via Taylor & Francis)
eBook -
239
E-physicalism : a physicalist theory of phenomenal consciousness /
Published 2012Table of Contents: “…behaviour; 2.2 Computational functionalism; 2.2.1 Functionalism and consciousness; …”
Full Text (via ProQuest)
Electronic eBook -
240
Singular Spectrum Analysis : Using R /
Published 2018Table of Contents: “…Functions; A.5.1 Computational Functions; A.5.2 Graphical Functions; A.5.3 …”
Full Text (via Springer)
eBook