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 with PASCAL
By John S. Mallozzi
“Computability with PASCAL” Metadata:
- Title: Computability with PASCAL
- Author: John S. Mallozzi
- Language: English
- Number of Pages: Median: 193
- Publisher: Prentice-Hall
- Publish Date: 1984
- Publish Location: ➤ Englewood Cliffs. N.J - Englewood Cliffs, N.J
“Computability with PASCAL” Subjects and Themes:
- Subjects: ➤ Computable functions - Data processing - Pascal (Computer program language) - Recursive functions - Informatique - Berechenbarkeit - Fonctions récursives - PASCAL (Langage de programmation) - PASCAL - Fonctions calculables - Pascal (computer program language)
Edition Identifiers:
- The Open Library ID: OL3181786M - OL21361783M
- Library of Congress Control Number (LCCN): 83024450
- All ISBNs: 0131644432 - 9780131644434
Access and General Info:
- First Year Published: 1984
- 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 with PASCAL at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
9Theory of recursive functions and effective computability
By H. Rogers
“Theory of recursive functions and effective computability” Metadata:
- Title: ➤ Theory of recursive functions and effective computability
- Author: H. Rogers
- Language: English
- Number of Pages: Median: 482
- Publisher: MIT Press - McGraw-Hill
- Publish Date: 1957 - 1967 - 1987
- Publish Location: ➤ [Cambridge? Mass.] - New York - Cambridge, Mass
“Theory of recursive functions and effective computability” Subjects and Themes:
- Subjects: Computable functions - Metamathematics - Recursive functions
Edition Identifiers:
- The Open Library ID: OL2738948M - OL5952664M - OL6234621M
- Online Computer Library Center (OCLC) ID: 4202785 - 15108070 - 527706
- Library of Congress Control Number (LCCN): 57038380 - 65025921 - 86033764
- All ISBNs: 0262680521 - 9780262680523
Access and General Info:
- First Year Published: 1957
- 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 Theory of recursive functions and effective computability at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Computability 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: ➤ Cambridge University Press - University Press
- Publish Date: ➤ 1974 - 1980 - 1981 - 1987 - 1989 - 2002 - 2005 - 2007 - 2008 - 2012
- Publish Location: ➤ Cambridge [Eng.] - Cambridge - New York
“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: 6487830 - 19589563 - 959952
- Library of Congress Control Number (LCCN): 89032584 - 80040432 - 73090811 - 2001043302 - 2007014225
- All ISBNs: ➤ 0511366051 - 0521007585 - 0521299675 - 0521701465 - 9780511074950 - 9780511076497 - 051136668X - 0521234794 - 9780521204026 - 9780511804076 - 0521389232 - 9780511366055 - 0511804075 - 9780521877527 - 0511078064 - 9780521299671 - 9780521234795 - 0511076495 - 0511364296 - 9781283329576 - 0511074956 - 9780521380263 - 052120402X - 052138026X - 9780511366680 - 0511202296 - 1139164937 - 9780521809757 - 9780511364297 - 0521877520 - 1283329573 - 9780521389235 - 9780521007580 - 0521809754 - 9780511078064 - 9780521701464 - 9781139164931 - 9780511202292
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.
11Discrete 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.
12Turing'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.
13A 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.
14Introduction to languages and the theory of computation
By Martin, John C.
“Introduction to languages and the theory of computation” Metadata:
- Title: ➤ Introduction to languages and the theory of computation
- Author: Martin, John C.
- 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: OL1882104M - OL1009622M
- Online Computer Library Center (OCLC) ID: 35919403
- Library of Congress Control Number (LCCN): 96049659 - 90042807
- All ISBNs: 0070406596 - 9780070408456 - 0070408459 - 9780070406599
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.
15Theory 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.
16Theory 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.
17Enumerability, 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.
18Computability 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.
19Automata, 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.
20Invitation 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.
21Automata 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.
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."
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.
23Noncommutative 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.
24Turings 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.
25Theory 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.
26Initial 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.
27Turing 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.
28Algebraic 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.
29Introduction 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.
30Effective 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.
31Automata, 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.
32Computable 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.
33Computability, 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.
34Automata 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.
35Computability 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.
36Automata
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.
37Computation and Automata
By Arto Salomaa
“Computation and Automata” Metadata:
- Title: Computation and Automata
- Author: Arto Salomaa
- Language: English
- Number of Pages: Median: 292
- Publisher: Cambridge University Press
- Publish Date: 1985 - 2011 - 2013
- Publish Location: ➤ Cambridge [Cambridgeshire] - New York
“Computation and Automata” Subjects and Themes:
- Subjects: Computable functions - Computational complexity - Sequential machine theory - Machine theory - Recursive functions
Edition Identifiers:
- The Open Library ID: OL34447049M - OL2855097M - OL34486666M
- Online Computer Library Center (OCLC) ID: 11089329
- Library of Congress Control Number (LCCN): 84017571
- All ISBNs: ➤ 0521177332 - 9780521177337 - 0521302455 - 9780521302456 - 9781107325630 - 1107325633
Access and General Info:
- First Year Published: 1985
- 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 Computation and Automata at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
38Computability
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.
39Computability 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.
40Computation 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.
41Introduction 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.
42Higher-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.
43Data 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.
44Hypercomputation
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.
45Three 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.
46New 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.
47Concise 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.
48Models 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.
49Computability
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.
50Computability, an introduction to recursive function theory
By Nigel Cutland
“Computability, an introduction to recursive function theory” Metadata:
- Title: ➤ Computability, an introduction to recursive function theory
- Author: Nigel Cutland
- Language: English
- Number of Pages: Median: 251
- Publisher: Cambridge University Press
- Publish Date: 1980
- Publish Location: Cambridge [Eng.] - New York
“Computability, an introduction to recursive function theory” Subjects and Themes:
- Subjects: ➤ Computable functions - Recursion theory - Berechenbarkeit - Rekursionstheorie - Recursieve functies - Rekursive Funktion - Logica - Recursivité, Théorie de la - Fonctions calculables - Recursive functions - Qa9.59 .c87
Edition Identifiers:
- The Open Library ID: OL4427288M
- Online Computer Library Center (OCLC) ID: 5170205
- Library of Congress Control Number (LCCN): 79051823
- All ISBNs: 0521223849 - 9780521223843 - 0521294657 - 9780521294652
Access and General Info:
- First Year Published: 1980
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Computability, an introduction to recursive function theory at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.