Chapter: Classes of Functions

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Computable Models > Classes of Functions

Computable Models |

Springer London

Computable Models

Classes of Functions

Chapter Info

Authors

ARI Id

1664583408122_2298133

Access

Not Available Free

Pages

1-9

DOI

10.1007/978-1-84882-052-4_20

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-84882-052-4_20

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

«
‹
›
»

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

«
‹
›
»

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

«
‹
›
»

Table of Contents of Book

entries per page

Filter:

Showing 1 to 20 of 26 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		1-9
What is a Computable Model?	Raymond Turner	1-9
Typed Predicate Logic	Raymond Turner	1-14
Data Types	Raymond Turner	1-12
Definability	Raymond Turner	1-6
Specification	Raymond Turner	1-10
Functions	Raymond Turner	1-10
Preconditions	Raymond Turner	1-8
Natural Numbers	Raymond Turner	1-14
Typed Set Theory	Raymond Turner	1-18
Systems Modeling	Raymond Turner	1-9
A Type of Types	Raymond Turner	1-13
Schemata	Raymond Turner	1-15
Separation Types	Raymond Turner	1-11
Recursive Schemata	Raymond Turner	1-12
Inductive Types	Raymond Turner	1-9
Recursive Functions	Raymond Turner	1-7
Schema Definitions	Raymond Turner	1-10
Computable Ontology	Raymond Turner	1-5
Classes	Raymond Turner	1-5
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 20 of 26 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

«
‹
›
»

Similar Article Headings

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

«
‹
›
»