Explore: Computable Functions
Discover books, insights, and more — all in one place.
Learn more about Computable Functions with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “computable-functions”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
By Hans Hermes
“Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit” Metadata:
- Title: ➤ Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit
- Author: Hans Hermes
- Languages: ger - English
- Number of Pages: Median: 246
- Publisher: ➤ Springer London, Limited - Academic Press - Springer-Verlag - Springer
- Publish Date: ➤ 1961 - 1965 - 1969 - 1971 - 1978 - 2013
- Publish Location: Berlin - New York
“Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit” Subjects and Themes:
- Subjects: ➤ Algorithms - Computable functions - Gödel's theorem - Recursive functions - Berechenbarkeit - Fonctions récursives - Mathématiques - Rekursive Funktion - Entscheidbarkeit - Algorithmentheorie - Aufzählbarkeit - Logique
Edition Identifiers:
- The Open Library ID: ➤ OL37248253M - OL21523359M - OL21776179M - OL5844448M - OL16505377M - OL5941871M - OL22352485M - OL5704034M - OL9876814M - OL16505366M - OL4910814M
- Online Computer Library Center (OCLC) ID: 1023868 - 527054 - 10949016 - 47207
- Library of Congress Control Number (LCCN): 76089552 - 70144764 - 65012556 - 62001669
- All ISBNs: ➤ 3662014629 - 9783540053347 - 3540088695 - 9783662014622 - 9783540088691 - 3540053344
Access and General Info:
- First Year Published: 1961
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Computability
By Richard L. Epstein, Richard .L. Epstein and Walter Alexandr Carnielli
“Computability” Metadata:
- Title: Computability
- Authors: Richard L. EpsteinRichard .L. EpsteinWalter Alexandr Carnielli
- Language: English
- Number of Pages: Median: 309
- Publisher: ➤ Brooks/Cole Advanced Books & Software - Chapman & Hall/CRC - Advanced Reasoning Forum
- Publish Date: 1988 - 1990 - 2008
- Publish Location: Pacific Grove, Calif
“Computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematics - Computer Logic - Science/Mathematics - Logic - Set Theory - Mathematics / Set Theory - Logic, Symbolic and mathematic
Edition Identifiers:
- The Open Library ID: OL33980052M - OL33978420M - OL7783425M - OL21512179M
- Online Computer Library Center (OCLC) ID: 19518272
- Library of Congress Control Number (LCCN): 89007097
- All ISBNs: ➤ 0981550746 - 0534103561 - 9780534103569 - 9780981550749 - 9780981550732 - 0981550738
First Setence:
"Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics."
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Computability & unsolvability
By Davis, Martin
“Computability & unsolvability” Metadata:
- Title: Computability & unsolvability
- Author: Davis, Martin
- Language: English
- Number of Pages: Median: 210
- Publisher: Dover - McGraw-Hill
- Publish Date: 1958 - 1982
- Publish Location: New York - [Maidenhead]
“Computability & unsolvability” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL3487663M - OL6226435M - OL18960499M - OL17391086M - OL18912150M
- Online Computer Library Center (OCLC) ID: 558037 - 8475039
- Library of Congress Control Number (LCCN): 57012895 - 82007287
- All ISBNs: 9780486614717 - 0486614719
Access and General Info:
- First Year Published: 1958
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Computability & unsolvability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Computation
By Hong, Jia-Wei.
“Computation” Metadata:
- Title: Computation
- Author: Hong, Jia-Wei.
- Language: English
- Number of Pages: Median: 236
- Publisher: ➤ Financial Times Management - J. Wiley - Pitman
- Publish Date: 1986 - 1987
- Publish Location: London - New York
“Computation” Subjects and Themes:
- Subjects: ➤ Computable functions - Computer arithmetic - Recursive functions - Machine theory - Computational complexity - Duality theory (Mathematics)
Edition Identifiers:
- The Open Library ID: OL2338264M - OL7596819M
- Online Computer Library Center (OCLC) ID: 15312732
- Library of Congress Control Number (LCCN): 86229866
- All ISBNs: 9780273087205 - 9780470203873 - 0273087207 - 0470203870
Access and General Info:
- First Year Published: 1986
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Computability and logic
By Daniel E. Cohen
“Computability and logic” Metadata:
- Title: Computability and logic
- Author: Daniel E. Cohen
- Languages: und - English
- Number of Pages: Median: 245
- Publisher: ➤ Horwwod - Halsted Press - E. Horwood
- Publish Date: 1987
- Publish Location: ➤ Chichester, West Sussex, England - Chichester - New York
“Computability and logic” Subjects and Themes:
- Subjects: ➤ Computable functions - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL2375806M - OL22334634M
- Online Computer Library Center (OCLC) ID: 15283759
- Library of Congress Control Number (LCCN): 87004088
- All ISBNs: 0745807291 - 0745800343 - 9780745800349 - 9780745807294
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Computability and logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6The undecidable
By Davis, Martin
“The undecidable” Metadata:
- Title: The undecidable
- Author: Davis, Martin
- Language: English
- Number of Pages: Median: 440
- Publisher: Raven Press
- Publish Date: 1965
- Publish Location: Hewlett, N.Y
“The undecidable” Subjects and Themes:
- Subjects: ➤ Gödel's theorem - Recursive functions - Turning machines - Turing machines - Computable functions - Unsolvability (Mathematical logic)
Edition Identifiers:
- The Open Library ID: OL21523355M - OL5936490M
- Online Computer Library Center (OCLC) ID: 232930
- Library of Congress Control Number (LCCN): 65003996
Access and General Info:
- First Year Published: 1965
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find The undecidable at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7The theory of computability
By R. Sommerhalder
“The theory of computability” Metadata:
- Title: The theory of computability
- Author: R. Sommerhalder
- Language: English
- Number of Pages: Median: 477
- Publisher: ➤ Addison-Wesley Pub. Co. - Addison-Wesley
- Publish Date: 1988
- Publish Location: ➤ Reading, Mass - Wokingham - Wokingham, England
“The theory of computability” Subjects and Themes:
- Subjects: ➤ Algorithms - Computable functions - Computational complexity - Electronic digital computers - Programming - Algorithmes - Complexite de calcul (Informatique) - Algoritmus (szamitogepes) - Computabilidade E Modelos De Computacao - 68-04 - Szamitastechnika - Fonctions calculables
Edition Identifiers:
- The Open Library ID: OL2040257M - OL22563276M
- Library of Congress Control Number (LCCN): 88016809
- All ISBNs: 0201142147 - 9780201142143
Access and General Info:
- First Year Published: 1988
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find The theory of computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Computability and logic
By George Boolos, Richard C. Jeffrey, George S. Boolos and John P. Burgess
“Computability and logic” Metadata:
- Title: Computability and logic
- Authors: George BoolosRichard C. JeffreyGeorge S. BoolosJohn P. Burgess
- Language: English
- Number of Pages: Median: 304
- Publisher: ➤ University Press - Cambridge University Press
- Publish Date: ➤ 1974 - 1980 - 1981 - 1987 - 1989 - 2002 - 2005 - 2007 - 2008 - 2012
- Publish Location: ➤ Cambridge - New York - Cambridge [Eng.]
“Computability and logic” Subjects and Themes:
- Subjects: ➤ Computable functions - Logic, Symbolic and mathematical - Recursive functions - Symbolic and mathematical Logic - Mathematical foundations - Philosophy - General - Philosophy / Logic - Mathematical logic - Mathematics - Science/Mathematics - Logic
Edition Identifiers:
- The Open Library ID: ➤ OL53922855M - OL40838731M - OL40620813M - OL40507880M - OL40502133M - OL40474958M - OL40467350M - OL40460520M - OL34479372M - OL34477673M - OL10438215M - OL7736076M - OL7733897M - OL5441109M - OL4115581M - OL21994661M - OL2210107M - OL17885136M - OL3950600M
- Online Computer Library Center (OCLC) ID: 959952 - 6487830 - 19589563
- Library of Congress Control Number (LCCN): 2001043302 - 89032584 - 73090811 - 80040432 - 2007014225
- All ISBNs: ➤ 0511366051 - 0511804075 - 9781139164931 - 0521007585 - 0511202296 - 052120402X - 0521299675 - 9780511804076 - 9780511364297 - 0511364296 - 052138026X - 9780521204026 - 9781283329576 - 9780511366680 - 0511078064 - 9780521234795 - 9780521389235 - 9780521701464 - 9780521007580 - 0521809754 - 0511076495 - 0521389232 - 9780511202292 - 9780511076497 - 9780521809757 - 0511074956 - 9780521299671 - 9780521380263 - 9780511074950 - 0521234794 - 0521877520 - 9780511366055 - 0521701465 - 9780521877527 - 051136668X - 1283329573 - 9780511078064 - 1139164937
First Setence:
"An enumerable set is one whose members can be enumerated: arranged in a single list with a first entry, a second entry, etc., so that every member of the set appears sooner or later in the list."
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computability and logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Discrete structures, logic, and computability
By James L. Hein
“Discrete structures, logic, and computability” Metadata:
- Title: ➤ Discrete structures, logic, and computability
- Author: James L. Hein
- Language: English
- Number of Pages: Median: 943
- Publisher: ➤ World Headquarters/Jones & Bartlett Learning - Jones & Bartlett Learning, LLC - Jones and Bartlett Publishers - Jones & Bartlett Learning - Jones and Bartlett
- Publish Date: ➤ 1994 - 1995 - 2002 - 2010 - 2015 - 2016
- Publish Location: ➤ Sudbury, Mass - Boston - Burlington, MA
“Discrete structures, logic, and computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Computer science - Data structures (Computer science) - Logic programming - Logic, Symbolic and mathematical - Mathematics - Symbolic and mathematical Logic - Traitement automatique des données - Mathematische Logik - Automatische bewijsvoering - Berechenbarkeit - Diskrete Mathematik - Berekenbaarheid - Logisch programmeren - Computer science, mathematics - Computer science--mathematics - Data structures (computer science) - Logic, symbolic and mathematical - Qa76.9.m35
Edition Identifiers:
- The Open Library ID: ➤ OL1104046M - OL1435849M - OL30395820M - OL36307860M - OL40246309M - OL18386190M - OL23150212M - OL28582566M
- Online Computer Library Center (OCLC) ID: 49887666 - 910073074 - 290423157
- Library of Congress Control Number (LCCN): 93048045 - 2015019684 - 94029101 - 2008055744 - 2001038122
- All ISBNs: ➤ 9780867204773 - 9789380108391 - 9780763718435 - 0867204672 - 0763718432 - 9780763772062 - 086720477X - 0763772062 - 1284070409 - 9781284070408 - 1449615279 - 9781284099867 - 9780867204674 - 9380108397 - 1284099865 - 9781449615277
Access and General Info:
- First Year Published: 1994
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Discrete structures, logic, and computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Turing's cathedral
By George Dyson
“Turing's cathedral” Metadata:
- Title: Turing's cathedral
- Author: George Dyson
- Language: English
- Publisher: Pantheon Books - Penguin
- Publish Date: 2012
- Publish Location: New York
“Turing's cathedral” Subjects and Themes:
- Subjects: ➤ BIOGRAPHY & AUTOBIOGRAPHY / Science & Technology - SCIENCE / General - Computable functions - Turing machines - Random access memory - Computers - History - Long Now Manual for Civilization - Informatique - SCIENCE (Programme) - SCIENCE - Science & Technology - Histoire - Programmation informatique - General - Science et technologie - Ordinateurs - BIOGRAPHY & AUTOBIOGRAPHY
- People: ➤ Alan Mathison Turing (1912-1954) - John Von Neumann (1903-1957)
- Places: Princeton - Welwyn Garden - Oxford
Edition Identifiers:
- The Open Library ID: OL25011031M - OL25425430M
- Online Computer Library Center (OCLC) ID: 745979775
- Library of Congress Control Number (LCCN): 2011030265
- All ISBNs: 0375422773 - 9780375422775
Author's Alternative Names:
"George B. Dyson", "George Dyson" and "GEORGE DYSON"Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Turing's cathedral at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
11A practical guide to pseudospectral methods
By Bengt Fornberg
“A practical guide to pseudospectral methods” Metadata:
- Title: ➤ A practical guide to pseudospectral methods
- Author: Bengt Fornberg
- Language: English
- Number of Pages: Median: 238
- Publisher: Cambridge University Press
- Publish Date: 1996 - 1998 - 2009 - 2011
- Publish Location: New York - Cambridge
“A practical guide to pseudospectral methods” Subjects and Themes:
- Subjects: Finite differences - Spectral theory (Mathematics) - Computable functions - Numerical analysis
Edition Identifiers:
- The Open Library ID: OL796106M - OL34437260M - OL28536718M - OL40384278M
- Online Computer Library Center (OCLC) ID: 232366978
- Library of Congress Control Number (LCCN): 95031986
- All ISBNs: ➤ 0521495822 - 9780511626357 - 9780521495820 - 9780521645645 - 0521645646 - 0511626355 - 0511888058 - 9780511888052
Access and General Info:
- First Year Published: 1996
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find A practical guide to pseudospectral methods at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
12Introduction to languages and the theory of computation
By John C. Martin
“Introduction to languages and the theory of computation” Metadata:
- Title: ➤ Introduction to languages and the theory of computation
- Author: John C. Martin
- Language: English
- Number of Pages: Median: 457
- Publisher: McGraw-Hill
- Publish Date: 1991 - 1997
- Publish Location: New York
“Introduction to languages and the theory of computation” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL1009622M - OL1882104M
- Online Computer Library Center (OCLC) ID: 35919403
- Library of Congress Control Number (LCCN): 96049659 - 90042807
- All ISBNs: 9780070408456 - 0070408459 - 0070406596 - 9780070406599
Author's Alternative Names:
"Martin, J. C. (John Calhoun), 1945-", "John. Martin", "Martin, John C.", "Martin, J.C. (John Calhoun)", "Martin, John Calhoun 1945-....", "Martin, John C., 19..-...., informaticien", "Martin, John C, informaticien" and "Martin, J. C."Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Introduction to languages and the theory of computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
13Theory of recursive functions and effective computability
By Hartley Rogers
“Theory of recursive functions and effective computability” Metadata:
- Title: ➤ Theory of recursive functions and effective computability
- Author: Hartley Rogers
- Language: English
- Number of Pages: Median: 482
- Publisher: ➤ McGraw-Hill - McGraw Hill Text - MIT Press - Massachusetts Institute of Technology
- Publish Date: 1957 - 1967 - 1987
- Publish Location: ➤ Cambridge - Cambridge, Mass - New York - London
“Theory of recursive functions and effective computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Recursive functions - Symbolic and mathematical Logic
Edition Identifiers:
- The Open Library ID: OL16585436M - OL22269965M - OL19003021M - OL32069830M - OL21767899M
- All ISBNs: 9780070535220 - 9780262680523 - 0070535221 - 0262680521
Access and General Info:
- First Year Published: 1957
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theory of recursive functions and effective computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Theory of Computation
By George Tourlakis
“Theory of Computation” Metadata:
- Title: Theory of Computation
- Author: George Tourlakis
- Language: English
- Number of Pages: Median: 416
- Publisher: ➤ Wiley & Sons, Limited, John - Wiley & Sons, Incorporated, John
- Publish Date: 2012 - 2014
“Theory of Computation” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL29113529M - OL39889996M - OL33464438M - OL29113530M - OL39902234M
- All ISBNs: ➤ 128059246X - 9781118315330 - 1118315367 - 1118315332 - 1118315359 - 9781280592461 - 9781118315354 - 1118315340 - 9781118315347 - 9781118315361
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Theory of Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Enumerability, Decidability, Computability
By Hans Hermes, Gabor T. Herman and O. Plassmann
“Enumerability, Decidability, Computability” Metadata:
- Title: ➤ Enumerability, Decidability, Computability
- Authors: Hans HermesGabor T. HermanO. Plassmann
- Language: English
- Number of Pages: Median: 250
- Publisher: ➤ Springer-Verlag - Springer London, Limited - Island Press - Springer
- Publish Date: ➤ 1965 - 1969 - 2012 - 2013 - 2014
“Enumerability, Decidability, Computability” Subjects and Themes:
- Subjects: ➤ Recursive functions - Algorithms - Computable functions - Goedel's theorem - Mathematics - Mathematics, general
Edition Identifiers:
- The Open Library ID: OL34373749M - OL46896555M - OL37248498M - OL50682445M - OL29252289M
- All ISBNs: ➤ 3662116871 - 3642461808 - 3642461794 - 3662116863 - 9783642461798 - 9783662116876 - 9783662116869 - 9783642461804
Access and General Info:
- First Year Published: 1965
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Enumerability, Decidability, Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
16Computability and complexity theory
By Steven Homer and Alan L. Selman
“Computability and complexity theory” Metadata:
- Title: ➤ Computability and complexity theory
- Authors: Steven HomerAlan L. Selman
- Language: English
- Number of Pages: Median: 308
- Publisher: Springer New York - Springer
- Publish Date: 2001 - 2011 - 2013 - 2014
“Computability and complexity theory” Subjects and Themes:
- Subjects: Computational complexity - Computer science - Computable functions
Edition Identifiers:
- The Open Library ID: OL34885829M - OL30430416M - OL7448693M - OL34469537M - OL28040223M
- Online Computer Library Center (OCLC) ID: 45315542
- Library of Congress Control Number (LCCN): 00053829
- All ISBNs: ➤ 9781489989710 - 0387950559 - 9781461406839 - 9781461406822 - 146140682X - 1489989714 - 9780387950556 - 1475735448 - 1461406838 - 9781475735444
First Setence:
"In the next chapter we will become familiar with models of computing."
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computability and complexity theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
17Automata, computability and complexity
By Elaine A. Rich
“Automata, computability and complexity” Metadata:
- Title: ➤ Automata, computability and complexity
- Author: Elaine A. Rich
- Language: English
- Number of Pages: Median: 1099
- Publisher: Pearson Prentice Hall
- Publish Date: 2008
- Publish Location: Upper Saddle River, N.J
“Automata, computability and complexity” Subjects and Themes:
- Subjects: Machine theory - Electronic data processing - Computational complexity - Computable functions
Edition Identifiers:
- The Open Library ID: OL24385141M
- Online Computer Library Center (OCLC) ID: 184990945
- Library of Congress Control Number (LCCN): 2010275411
- All ISBNs: 9780132288064 - 0132288060
Author's Alternative Names:
"Rich Elaine" and "Elaine Rich"Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Automata, computability and complexity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
18Invitation to Applied Category Theory
By Brendan Fong and David I. Spivak
“Invitation to Applied Category Theory” Metadata:
- Title: ➤ Invitation to Applied Category Theory
- Authors: Brendan FongDavid I. Spivak
- Language: English
- Number of Pages: Median: 350
- Publisher: Cambridge University Press
- Publish Date: 2019
“Invitation to Applied Category Theory” Subjects and Themes:
- Subjects: ➤ Categories (mathematics) - Computable functions - Logic, symbolic and mathematical - Mathematical analysis
Edition Identifiers:
- The Open Library ID: OL34735404M - OL28721523M - OL28722276M - OL54044661M
- All ISBNs: ➤ 1108621856 - 9781108711821 - 1108711820 - 1108668801 - 9781108621854 - 1108482295 - 9781108668804 - 9781108482295
Access and General Info:
- First Year Published: 2019
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Invitation to Applied Category Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
19Automata and Computability
By Dexter C. Kozen
“Automata and Computability” Metadata:
- Title: Automata and Computability
- Author: Dexter C. Kozen
- Language: English
- Number of Pages: Median: 413
- Publisher: Springer
- Publish Date: 2012 - 2013 - 2014
“Automata and Computability” Subjects and Themes:
- Subjects: Machine theory - Computable functions
Edition Identifiers:
- The Open Library ID: OL34886239M - OL34888193M - OL27997427M - OL30370532M
- All ISBNs: ➤ 9783642857072 - 9783642857065 - 9781461218449 - 364285706X - 1461273099 - 9781461273097 - 3642857078 - 1461218446
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata and Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
20Noncommutative Polynomial Algebras of Solvable Type and Their Modules
By Huishi Li
“Noncommutative Polynomial Algebras of Solvable Type and Their Modules” Metadata:
- Title: ➤ Noncommutative Polynomial Algebras of Solvable Type and Their Modules
- Author: Huishi Li
- Language: English
- Number of Pages: Median: 232
- Publisher: ➤ Healthcare Information & Management Systems Society - Taylor & Francis Group
- Publish Date: 2021
“Noncommutative Polynomial Algebras of Solvable Type and Their Modules” Subjects and Themes:
- Subjects: ➤ Noncommutative algebras - PI-algebras - Solvable groups - Computable functions - Modules (Algebra) - Free resolutions (Algebra) - Algèbres non commutatives - PI-algèbres - Groupes résolubles - Fonctions calculables - Modules (Algèbre) - Résolutions libres (Algèbre) - MATHEMATICS - Algebra - General - Geometry - Algebraic - Intermediate
Edition Identifiers:
- The Open Library ID: OL36097457M - OL33934028M - OL35856975M - OL33934891M - OL33934024M
- Online Computer Library Center (OCLC) ID: 1273728714
- All ISBNs: ➤ 1032081619 - 9781032081618 - 1000471101 - 9781032079882 - 9781000471120 - 9781003213192 - 1003213197 - 1032079886 - 1000471128 - 9781000471106
Access and General Info:
- First Year Published: 2021
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Noncommutative Polynomial Algebras of Solvable Type and Their Modules at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
21Turings Cathedral Vintage
By George Dyson
“Turings Cathedral Vintage” Metadata:
- Title: ➤ Turings Cathedral Vintage
- Author: George Dyson
- Number of Pages: Median: 401
- Publisher: Vintage Books
- Publish Date: 2012
“Turings Cathedral Vintage” Subjects and Themes:
- Subjects: ➤ Computers - History - Turing machines - Computable functions - Random access memory - New York Times reviewed - Von neumann, john, 1903-1957 - Computers, history - Mathematicians, biography - Turing, alan mathison, 1912-1954
Edition Identifiers:
- The Open Library ID: OL26139163M
- Online Computer Library Center (OCLC) ID: 781683394
- Library of Congress Control Number (LCCN): 2013370011
- All ISBNs: 1400075998 - 9781400075997
Author's Alternative Names:
"George B. Dyson", "George Dyson" and "GEORGE DYSON"Access and General Info:
- First Year Published: 2012
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Turings Cathedral Vintage at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
22Introduction to Languages and the Theory of Computation
By John C. Martin
“Introduction to Languages and the Theory of Computation” Metadata:
- Title: ➤ Introduction to Languages and the Theory of Computation
- Author: John C. Martin
- Language: English
- Number of Pages: Median: 543
- Publisher: McGraw-Hill Companies
- Publish Date: 2002
“Introduction to Languages and the Theory of Computation” Subjects and Themes:
- Subjects: ➤ Sequential machine theory - Computable functions - Machines séquentielles, Théorie des - Fonctions calculables - Automatentheorie - Berechenbarkeit - Formale Sprache - Turing-Maschine
Edition Identifiers:
- The Open Library ID: OL7297997M - OL9252692M
- Online Computer Library Center (OCLC) ID: 49704774
- Library of Congress Control Number (LCCN): 2002070865
- All ISBNs: 0071198547 - 9780071198547
First Setence:
"A set is determined by its elements."
Author's Alternative Names:
"Martin, J. C. (John Calhoun), 1945-", "John. Martin", "Martin, John C.", "Martin, J.C. (John Calhoun)", "Martin, John Calhoun 1945-....", "Martin, John C., 19..-...., informaticien", "Martin, John C, informaticien" and "Martin, J. C."Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Introduction to Languages and the Theory of Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
23Theory of computation
By Walter S. Brainerd
“Theory of computation” Metadata:
- Title: Theory of computation
- Author: Walter S. Brainerd
- Language: English
- Number of Pages: Median: 336
- Publisher: Wiley
- Publish Date: 1974
- Publish Location: New York
“Theory of computation” Subjects and Themes:
- Subjects: ➤ Recursive functions - Sequential machine theory - Programming languages (Electronic computers) - Computable functions
Edition Identifiers:
- The Open Library ID: OL5419825M
- Online Computer Library Center (OCLC) ID: 694056
- Library of Congress Control Number (LCCN): 73012950
- All ISBNs: 9780471095859 - 0471095850
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theory of computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
24Initial computability, algebraic specifications, and partial algebras
By Horst Reichel
“Initial computability, algebraic specifications, and partial algebras” Metadata:
- Title: ➤ Initial computability, algebraic specifications, and partial algebras
- Author: Horst Reichel
- Language: English
- Number of Pages: Median: 221
- Publisher: ➤ Oxford University Press - Clarendon Press - de Gruyter GmbH, Walter - Akademie-Verlag
- Publish Date: 1987 - 1988 - 2022
- Publish Location: ➤ Oxford - New York - Berlin - Oxford [England]
“Initial computability, algebraic specifications, and partial algebras” Subjects and Themes:
- Subjects: ➤ Computer science - Data structures (Computer science) - Mathematics - Partial algebras - Programming languages (Electronic computers) - Semantics - Algèbre partielle - Sémantique langage programmation - Spécification algébrique - Structure donnée - Type abstrait - Informatique - Mathématiques - Langages de programmation - Sémantique - Computer science, mathematics - Computable functions
Edition Identifiers:
- The Open Library ID: OL2724294M - OL2128194M - OL37337455M - OL46061659M
- Online Computer Library Center (OCLC) ID: 13903964
- Library of Congress Control Number (LCCN): 88190202 - 86017952
- All ISBNs: ➤ 9783112573426 - 9783055000393 - 9780198538066 - 0198538065 - 9783112573419 - 3112573412 - 3055000390 - 3112573420
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Initial computability, algebraic specifications, and partial algebras at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Turing Computability
By Robert I. Soare
“Turing Computability” Metadata:
- Title: Turing Computability
- Author: Robert I. Soare
- Language: English
- Number of Pages: Median: 299
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2016 - 2018
“Turing Computability” Subjects and Themes:
- Subjects: Computable functions
Edition Identifiers:
- The Open Library ID: OL28119818M - OL37221235M - OL28188203M
- All ISBNs: ➤ 3642319335 - 3642319327 - 9783642319327 - 9783642319334 - 9783662568583 - 3662568586
Access and General Info:
- First Year Published: 2016
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Turing Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Algebraic Computability and Enumeration Models
By Cyrus F. Nourani
“Algebraic Computability and Enumeration Models” Metadata:
- Title: ➤ Algebraic Computability and Enumeration Models
- Author: Cyrus F. Nourani
- Language: English
- Number of Pages: Median: 310
- Publisher: ➤ Taylor & Francis Group - Apple Academic Press, Incorporated
- Publish Date: 2016 - 2021
“Algebraic Computability and Enumeration Models” Subjects and Themes:
- Subjects: ➤ Computable functions - Functor theory - Model theory - Homological Algebra - Kleene algebra - Théorie des foncteurs - Théorie des modèles - Fonctions calculables - Algèbre homologique - Algèbre de Kleene - MATHEMATICS - General
Edition Identifiers:
- The Open Library ID: OL53257680M - OL38292716M - OL34711488M - OL34609408M
- Online Computer Library Center (OCLC) ID: 932093598
- Library of Congress Control Number (LCCN): 2016000519
- All ISBNs: ➤ 9781774635759 - 1771882484 - 9781771882484 - 1774635755 - 0429154720 - 9780429154720 - 1771882476 - 9781771882477
Access and General Info:
- First Year Published: 2016
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Algebraic Computability and Enumeration Models at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Introduction to Scientific, Symbolic, and Graphical Computation
By Eugene Fiume
“Introduction to Scientific, Symbolic, and Graphical Computation” Metadata:
- Title: ➤ Introduction to Scientific, Symbolic, and Graphical Computation
- Author: Eugene Fiume
- Language: English
- Number of Pages: Median: 322
- Publisher: CRC Press LLC
- Publish Date: 2018
“Introduction to Scientific, Symbolic, and Graphical Computation” Subjects and Themes:
- Subjects: Computable functions
Edition Identifiers:
- The Open Library ID: OL34453465M - OL39980653M - OL40074358M - OL34739128M
- All ISBNs: ➤ 9781568816081 - 1315275511 - 1439864462 - 9781315275512 - 1351989359 - 9781439864463 - 1568816081 - 9781351989350
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Introduction to Scientific, Symbolic, and Graphical Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Effective Mathematics of the Uncountable
By Noam Greenberg, Denis Hirschfeldt, Joel David Hamkins and Russell Miller
“Effective Mathematics of the Uncountable” Metadata:
- Title: ➤ Effective Mathematics of the Uncountable
- Authors: Noam GreenbergDenis HirschfeldtJoel David HamkinsRussell Miller
- Language: English
- Number of Pages: Median: 206
- Publisher: Cambridge University Press
- Publish Date: 2013
“Effective Mathematics of the Uncountable” Subjects and Themes:
- Subjects: ➤ Logic, symbolic and mathematical - Model theory - Computable functions
Edition Identifiers:
- The Open Library ID: OL53923713M - OL40491315M - OL28505515M - OL34719159M
- Online Computer Library Center (OCLC) ID: 869478952
- Library of Congress Control Number (LCCN): 2013388711
- All ISBNs: ➤ 9781306211901 - 1107503493 - 1107014514 - 1139028596 - 9781107014510 - 9781139028592 - 1306211905 - 9781107503496
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Effective Mathematics of the Uncountable at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
29Automata, Computability and Complexity
By Elaine A. Rich
“Automata, Computability and Complexity” Metadata:
- Title: ➤ Automata, Computability and Complexity
- Author: Elaine A. Rich
- Language: English
- Number of Pages: Median: 1120
- Publisher: Prentice Hall
- Publish Date: 2007
“Automata, Computability and Complexity” Subjects and Themes:
- Subjects: Machine theory - Computable functions - Computational complexity - Electronic data processing
Edition Identifiers:
- The Open Library ID: OL10085067M
- Online Computer Library Center (OCLC) ID: 184990945
- Library of Congress Control Number (LCCN): 2010275411
- All ISBNs: 9780132288064 - 0132288060
Author's Alternative Names:
"Elaine Rich" and "Rich Elaine"Access and General Info:
- First Year Published: 2007
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata, Computability and Complexity at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Computable Analysis
By Klaus Weihrauch
“Computable Analysis” Metadata:
- Title: Computable Analysis
- Author: Klaus Weihrauch
- Language: English
- Number of Pages: Median: 292
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2000 - 2012 - 2013
“Computable Analysis” Subjects and Themes:
- Subjects: ➤ Recursion theory - Computable functions - Mathematical analysis - Global analysis (Mathematics) - Symbolic and mathematical Logic - Computer science - Computer software
Edition Identifiers:
- The Open Library ID: OL9063191M - OL35812156M - OL27963488M
- Online Computer Library Center (OCLC) ID: 44469043
- Library of Congress Control Number (LCCN): 00056310
- All ISBNs: ➤ 3642631029 - 3642569994 - 9783540668176 - 9783642631023 - 3540668179 - 9783642569999
First Setence:
"All over the world numerous computers are used for real number computation."
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computable Analysis at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Computability, 1973-1974
By Davis, Martin
“Computability, 1973-1974” Metadata:
- Title: Computability, 1973-1974
- Author: Davis, Martin
- Language: English
- Number of Pages: Median: 248
- Publisher: ➤ Courant Institute of Mathematical Sciences - Courant Institute of Mathematical Sciences, New York University
- Publish Date: 1974
- Publish Location: New York - [New York]
“Computability, 1973-1974” Subjects and Themes:
- Subjects: Computable functions - Data processing - Recursive functions - Turing machines
Edition Identifiers:
- The Open Library ID: OL4930416M - OL14715881M - OL21613230M
- Online Computer Library Center (OCLC) ID: 2137514
- Library of Congress Control Number (LCCN): 76357104
Access and General Info:
- First Year Published: 1974
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computability, 1973-1974 at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
32Automata and computability
By Dexter Kozen
“Automata and computability” Metadata:
- Title: Automata and computability
- Author: Dexter Kozen
- Language: English
- Number of Pages: Median: 400
- Publisher: Springer
- Publish Date: 1997
- Publish Location: New York
“Automata and computability” Subjects and Themes:
- Subjects: Machine theory - Computable functions
Edition Identifiers:
- The Open Library ID: OL998640M
- Library of Congress Control Number (LCCN): 96037409
- All ISBNs: 9780387949079 - 0387949070
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automata and computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
33Computability in Analysis and Physics
By Marian B. Pour-El and Richards, Ian
“Computability in Analysis and Physics” Metadata:
- Title: ➤ Computability in Analysis and Physics
- Authors: Marian B. Pour-ElRichards, Ian
- Language: English
- Number of Pages: Median: 218
- Publisher: ➤ Cambridge University Press - University of Cambridge ESOL Examinations
- Publish Date: 2016 - 2017
“Computability in Analysis and Physics” Subjects and Themes:
- Subjects: Computable functions - Mathematical analysis
Edition Identifiers:
- The Open Library ID: OL34732387M - OL29326836M - OL40521522M
- All ISBNs: ➤ 9781316717325 - 1316731758 - 9781316731758 - 1107168449 - 9781107168442 - 1316717321
Author's Alternative Names:
"J. Ian Richards"Access and General Info:
- First Year Published: 2016
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computability in Analysis and Physics at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
34Automata
By V. David Hopkin, D Hookin and B. Moss
“Automata” Metadata:
- Title: Automata
- Authors: V. David HopkinD HookinB. Moss
- Language: English
- Number of Pages: Median: 170
- Publisher: ➤ Elsevier - Macmillan - North-Holland
- Publish Date: 1976 - 1978
- Publish Location: London - New York
“Automata” Subjects and Themes:
- Subjects: Machine theory - Computable functions - Turing machines
Edition Identifiers:
- The Open Library ID: OL4543811M - OL7529335M - OL4600716M
- Online Computer Library Center (OCLC) ID: 3203214
- Library of Congress Control Number (LCCN): 77011094 - 77363637
- All ISBNs: ➤ 0333212177 - 9780333212172 - 9780333153987 - 9780444002495 - 0444002499 - 0333153987
Access and General Info:
- First Year Published: 1976
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
35Computability
By Richard L. Epstein and Walter A. Carnielli
“Computability” Metadata:
- Title: Computability
- Authors: Richard L. EpsteinWalter A. Carnielli
- Language: English
- Number of Pages: Median: 299
- Publisher: ➤ Wadsworth & Brooks/Cole Advanced Books & Software - Wadsworth/Thomson Learning - Wadsworth Publishing
- Publish Date: 1989 - 1999 - 2000
- Publish Location: ➤ Belmont, CA - Pacific Grove, Calif
“Computability” Subjects and Themes:
- Subjects: ➤ Computable functions - Gödel's theorem - Logic, Symbolic and mathematical - Symbolic and mathematical Logic - Mathematical logic - Mathematical theory of computation - Science/Mathematics - Logic, Symbolic and mathematic - Mathematical And Symbolic Logic - Philosophy Of Mathematics - Mathematics - Logic - Philosophy / General
Edition Identifiers:
- The Open Library ID: OL2188845M - OL7785461M - OL32454M
- Library of Congress Control Number (LCCN): 89007097 - 99014119
- All ISBNs: 0534546447 - 9780534103569 - 9780534546441 - 0534103561
First Setence:
"Much of modern logic came about as a response to problems and paradoxes in the foundations of mathematics."
Access and General Info:
- First Year Published: 1989
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
36Computability and logic
By George S. Boolos, John P. Burgess and Richard C. Jeffrey
“Computability and logic” Metadata:
- Title: Computability and logic
- Authors: George S. BoolosJohn P. BurgessRichard C. Jeffrey
- Language: English
- Number of Pages: Median: 364
- Publisher: Cambridge University Press
- Publish Date: 2007
“Computability and logic” Subjects and Themes:
- Subjects: ➤ Recursive functions - Symbolic and mathematical Logic - Computable functions - Logic, symbolic and mathematical - Qa9.59 .b66 2007 - 511.3/52
Edition Identifiers:
- The Open Library ID: OL10436795M
- Online Computer Library Center (OCLC) ID: 122526900
- Library of Congress Control Number (LCCN): 2007014225
- All ISBNs: 0521701465 - 9780521701464
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computability and logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
37Computation and Automata
By Arto Salomaa
“Computation and Automata” Metadata:
- Title: Computation and Automata
- Author: Arto Salomaa
- Language: English
- Number of Pages: Median: 300
- Publisher: Cambridge University Press
- Publish Date: 1985 - 2013
“Computation and Automata” Subjects and Themes:
Edition Identifiers:
- The Open Library ID: OL40387262M - OL40491005M - OL53933365M
- All ISBNs: ➤ 1299733816 - 1107107903 - 1107099854 - 9781107107908 - 9781107099852 - 9781299733817
Access and General Info:
- First Year Published: 1985
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computation and Automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Introduction to formal languages, automata theory and computation
By Kamala Krithivasan
“Introduction to formal languages, automata theory and computation” Metadata:
- Title: ➤ Introduction to formal languages, automata theory and computation
- Author: Kamala Krithivasan
- Language: English
- Number of Pages: Median: 425
- Publisher: Dorling Kindersley
- Publish Date: 2009
- Publish Location: Delhi, India
“Introduction to formal languages, automata theory and computation” Subjects and Themes:
- Subjects: Formal languages - Computable functions - Machine theory
Edition Identifiers:
- The Open Library ID: OL45298281M
- Online Computer Library Center (OCLC) ID: 646133916
- All ISBNs: 8131723569 - 9788131723562
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Introduction to formal languages, automata theory and computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
39Higher-Order Computability
By John Longley and Dag Normann
“Higher-Order Computability” Metadata:
- Title: Higher-Order Computability
- Authors: John LongleyDag Normann
- Language: English
- Number of Pages: Median: 571
- Publisher: ➤ Springer Berlin / Heidelberg - Springer
- Publish Date: 2015 - 2016
“Higher-Order Computability” Subjects and Themes:
- Subjects: Computable functions
Edition Identifiers:
- The Open Library ID: OL37430749M - OL34385519M - OL37280314M
- All ISBNs: ➤ 3662479923 - 9783662517116 - 3662479915 - 9783662479919 - 9783662479926 - 3662517116
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Higher-Order Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
40Data Streams
By Charu C. Aggarwal
“Data Streams” Metadata:
- Title: Data Streams
- Author: Charu C. Aggarwal
- Language: English
- Number of Pages: Median: 365
- Publisher: Springer
- Publish Date: 2006 - 2007 - 2014
“Data Streams” Subjects and Themes:
- Subjects: ➤ Mathematics - Algorithms - Computer science - Data mining - Computer networks - Database management - Information storage and retrieval systems - Multimedia systems - Computer science, mathematics - Computable functions
Edition Identifiers:
- The Open Library ID: OL28148263M - OL37111573M - OL7445106M
- Online Computer Library Center (OCLC) ID: 77212493
- Library of Congress Control Number (LCCN): 2006934111
- All ISBNs: ➤ 9781461497684 - 0387287590 - 9780387475349 - 146149768X - 0387475346 - 9780387287591
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Data Streams at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
41Hypercomputation
By Apostolos Syropoulos
“Hypercomputation” Metadata:
- Title: Hypercomputation
- Author: Apostolos Syropoulos
- Language: English
- Number of Pages: Median: 243
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2008 - 2010
“Hypercomputation” Subjects and Themes:
- Subjects: Computational complexity - Computable functions - Artificial intelligence - Computer science
Edition Identifiers:
- The Open Library ID: OL35771671M - OL28015042M - OL10152744M
- Online Computer Library Center (OCLC) ID: 65764984
- Library of Congress Control Number (LCCN): 2008931304
- All ISBNs: ➤ 0387499709 - 9781441940407 - 9780387308869 - 0387308865 - 9780387499703 - 1441940405
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Hypercomputation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
42Three Views of Logic
Mathematics, Philosophy, and Computer Science
By Donald W. Loveland, Richard E. Hodel and S G Sterrett
“Three Views of Logic” Metadata:
- Title: Three Views of Logic
- Authors: Donald W. LovelandRichard E. HodelS G Sterrett
- Language: English
- Number of Pages: Median: 339
- Publisher: Princeton University Press
- Publish Date: 2014
“Three Views of Logic” Subjects and Themes:
- Subjects: ➤ Logic - Proof theory - Computable functions - Nonclassical mathematical logic - Berechenbarkeit - Beweistheorie - Nichtklassische Logik
Edition Identifiers:
- The Open Library ID: OL25629805M - OL27559914M - OL29230598M
- Online Computer Library Center (OCLC) ID: 861357633
- Library of Congress Control Number (LCCN): 2013949122
- All ISBNs: ➤ 1306282594 - 9781400848751 - 9781306282598 - 140084875X - 0691160449 - 9780691160443
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Three Views of Logic at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
43New computational paradigms
By S. B. Cooper, Benedikt Löwe and Andrea Sorbi
“New computational paradigms” Metadata:
- Title: New computational paradigms
- Authors: S. B. CooperBenedikt LöweAndrea Sorbi
- Language: English
- Number of Pages: Median: 566
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2007 - 2010
- Publish Location: New York
“New computational paradigms” Subjects and Themes:
- Subjects: ➤ Computable functions - Information theory - Symbolic and mathematical Logic - Computer science
Edition Identifiers:
- The Open Library ID: OL27979096M - OL37112210M - OL16635933M
- Online Computer Library Center (OCLC) ID: 173718678
- Library of Congress Control Number (LCCN): 2007935311
- All ISBNs: ➤ 9781441922632 - 9780387360331 - 0387360336 - 0387685464 - 1441922636 - 9780387685465
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find New computational paradigms at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
44Concise Guide to Computation Theory
By Akira Maruoka
“Concise Guide to Computation Theory” Metadata:
- Title: ➤ Concise Guide to Computation Theory
- Author: Akira Maruoka
- Language: English
- Number of Pages: Median: 300
- Publisher: ➤ Springer - Springer-Verlag London Limited
- Publish Date: 2011 - 2014
- Publish Location: London
“Concise Guide to Computation Theory” Subjects and Themes:
- Subjects: ➤ Information theory - Computer science - Computational complexity - Machine theory - Computable functions - Computational Science and Engineering - Theory of Computation
Edition Identifiers:
- The Open Library ID: OL28684202M - OL28036078M - OL25534615M
- Online Computer Library Center (OCLC) ID: 723107700
- Library of Congress Control Number (LCCN): 2011927846
- All ISBNs: ➤ 1447158164 - 9781447158165 - 0857295349 - 0857295365 - 9780857295347 - 0857295357 - 9780857295361 - 9780857295354
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Concise Guide to Computation Theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
45Models of computation and formal languages
By Ralph Gregory Taylor
“Models of computation and formal languages” Metadata:
- Title: ➤ Models of computation and formal languages
- Author: Ralph Gregory Taylor
- Language: English
- Number of Pages: Median: 667
- Publisher: Oxford University Press
- Publish Date: 1998
- Publish Location: New York
“Models of computation and formal languages” Subjects and Themes:
- Subjects: Formal languages - Computable functions
Edition Identifiers:
- The Open Library ID: OL998680M
- Online Computer Library Center (OCLC) ID: 35884612
- Library of Congress Control Number (LCCN): 96037454
- All ISBNs: 9780195109832 - 019510983X
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Models of computation and formal languages at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
46Computability
By Klaus Weihrauch
“Computability” Metadata:
- Title: Computability
- Author: Klaus Weihrauch
- Language: English
- Number of Pages: Median: 517
- Publisher: ➤ Island Press - Springer Berlin Heidelberg
- Publish Date: 1987
- Publish Location: Berlin, Heidelberg
“Computability” Subjects and Themes:
- Subjects: Logic design - Computer science - Computer software - Computable functions - Recursive functions
Edition Identifiers:
- The Open Library ID: OL50690044M - OL27025665M
- Online Computer Library Center (OCLC) ID: 851751165
- All ISBNs: ➤ 3642699669 - 9783642699658 - 9783642699665 - 3642699677 - 3642699650 - 9783642699672
Access and General Info:
- First Year Published: 1987
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
47Set theory for computing
By Domenico Cantone, Eugenio Omodeo and Alberto Policriti
“Set theory for computing” Metadata:
- Title: Set theory for computing
- Authors: Domenico CantoneEugenio OmodeoAlberto Policriti
- Language: English
- Number of Pages: Median: 409
- Publisher: Springer - Springer New York
- Publish Date: 2001 - 2011 - 2013
“Set theory for computing” Subjects and Themes:
- Subjects: Set theory - Computable functions - Mengenlehre - Deklarative Programmierung - Berechenbare Funktion
Edition Identifiers:
- The Open Library ID: OL37423806M - OL34452685M - OL7448781M
- Online Computer Library Center (OCLC) ID: 46240279
- Library of Congress Control Number (LCCN): 2001020446
- All ISBNs: ➤ 9780387951973 - 9781441929051 - 0387951970 - 1441929053 - 9781475734522 - 1475734522
First Setence:
"Set theory, conceived toward the end of the nineteenth century, shaped the language of today's mathematics."
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Set theory for computing at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
48Theoretische Informatik - kurz gefasst (German Edition)
By Uwe Schöning
“Theoretische Informatik - kurz gefasst (German Edition)” Metadata:
- Title: ➤ Theoretische Informatik - kurz gefasst (German Edition)
- Author: Uwe Schöning
- Number of Pages: Median: 200
- Publisher: Spektrum Akademischer Verlag
- Publish Date: 2008
“Theoretische Informatik - kurz gefasst (German Edition)” Subjects and Themes:
- Subjects: Machine theory - 0 Gesamtdarstellung - Theoretische Informatik - Theory of computer science - Computable functions
Edition Identifiers:
- The Open Library ID: OL26764736M
- All ISBNs: 9783827418241 - 3827418240
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Theoretische Informatik - kurz gefasst (German Edition) at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
49Theory and Applications of Models of Computation
By T-H. Hubert Chan
“Theory and Applications of Models of Computation” Metadata:
- Title: ➤ Theory and Applications of Models of Computation
- Author: T-H. Hubert Chan
- Language: English
- Number of Pages: Median: 371
- Publisher: ➤ Imprint: Springer - Springer - Springer Berlin Heidelberg
- Publish Date: 2013
- Publish Location: Berlin, Heidelberg
“Theory and Applications of Models of Computation” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Cryptology and Information Theory Data Structures - Information theory - Computer software - Algorithm Analysis and Problem Complexity - Logic design - Logics and Meanings of Programs - Data structures (Computer science) - Theory of Computation - Mathematics of Computing - Computer science - Computer science, mathematics - Algorithms - Computational complexity - Computable functions
Edition Identifiers:
- The Open Library ID: OL30523136M - OL28148376M - OL27091700M
- All ISBNs: ➤ 3642382355 - 9783642382352 - 3642382371 - 9783642382369 - 3642382363 - 9783642382376
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theory and Applications of Models of Computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
50Theory and applications of models of computation
By Jin-Yi Cai, S. Barry Cooper and Angsheng Li
“Theory and applications of models of computation” Metadata:
- Title: ➤ Theory and applications of models of computation
- Authors: Jin-Yi CaiS. Barry CooperAngsheng Li
- Language: English
- Number of Pages: Median: 797
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006 - 2010
“Theory and applications of models of computation” Subjects and Themes:
- Subjects: ➤ Computer algorithms - Computational complexity - Congresses - Computable functions - Computer science - Algorithms
Edition Identifiers:
- The Open Library ID: OL35761683M - OL34456850M - OL12774077M
- Online Computer Library Center (OCLC) ID: 69105556
- Library of Congress Control Number (LCCN): 2006924877
- All ISBNs: ➤ 9783540340225 - 3540340211 - 9783642135620 - 354034022X - 3642135625 - 9783540340218
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Theory and applications of models of computation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Wiki
Source: Wikipedia
Wikipedia Results
Search Results from Wikipedia
Computable function
Computable functions are the basic objects of study in computability theory. Informally, a function is computable if there is an algorithm that computes
General recursive function
recursive function, partial recursive function, or μ-recursive function is a partial function from natural numbers to natural numbers that is "computable" in
Church–Turing thesis
of computable functions. It states that a function on the natural numbers can be calculated by an effective method if and only if it is computable by
Computable set
if it is not computable. A subset S {\displaystyle S} of the natural numbers is computable if there exists a total computable function f {\displaystyle
Computability theory
with the study of computable functions and Turing degrees. The field has since expanded to include the study of generalized computability and definability
Programming Computable Functions
science, Programming Computable Functions (PCF), or Programming with Computable Functions, or Programming language for Computable Functions, is a programming
Busy beaver
fact, both the functions Σ(n) and S(n) eventually become larger than any computable function. This has implications in computability theory, the halting
Computable number
the recursive numbers, effective numbers, computable reals, or recursive reals. The concept of a computable real number was introduced by Émile Borel
Logic for Computable Functions
Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at Stanford and Edinburgh by Robin Milner and collaborators in
Computation in the limit
computability theory, a function is called limit computable if it is the limit of a uniformly computable sequence of functions. The terms computable in