This book is a collection of advanced research/survey papers by eminent research workers in the Recursion theory.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines.
1. Fundamental methods for connecting recursively enumerable degrees R. I. Soare; 2. A Survey of Non-RE Degrees ≤ 0' D. B. Posner; 3. Degrees of Generic Sets C. G. Jockusch; 4. The Degrees of Unsolvability: Some recent results M. Lerman; 5. Some Constructions in ά-Recursion theory R. Shore; 6. The Recursion theory of the continuous functionals D. Norman; 7. Three aspects of recursive enumerability in higher types G. E. Sacks; 8. Computing in Algebraic Systems J. V. Tucker; 9. Applications of Classical Recursion theory to computer science C. H. Smith; 10. 'Natural' programming languages and complexity measures for subrecursive programming languages: An Abstract Approach D. A. Alton; 11. Complexity Theory with Emphasis on the complexity of logical theories R. E. Ladner.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
EUR 14,82 per la spedizione da Regno Unito a U.S.A.
Destinazione, tempi e costiEUR 3,43 per la spedizione in U.S.A.
Destinazione, tempi e costiDa: Anybook.com, Lincoln, Regno Unito
Condizione: Good. Volume 45. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:052123543X. Codice articolo 9898599
Quantità: 1 disponibili
Da: Antiquariat Bookfarm, Löbnitz, Germania
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 REC 9780521235433 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2502751
Quantità: 1 disponibili
Da: Antiquariat Bookfarm, Löbnitz, Germania
Softcover. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 03 REC 9780521235433 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2506782
Quantità: 1 disponibili
Da: Fireside Bookshop, Stroud, GLOS, Regno Unito
Paperback. Condizione: Good. First Edition. Type: Book Small plain label inside cover.Some rubbing to covers. Codice articolo 053086
Quantità: 1 disponibili
Da: BooksRun, Philadelphia, PA, U.S.A.
Paperback. Condizione: Fair. 1. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. Codice articolo 052123543X-7-1
Quantità: 1 disponibili
Da: Solr Books, Lincolnwood, IL, U.S.A.
Condizione: very_good. This books is in Very good condition. There may be a few flaws like shelf wear and some light wear. Codice articolo BCV.052123543X.VG
Quantità: 1 disponibili
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New. Codice articolo ABLIING23Feb2215580247844
Quantità: Più di 20 disponibili
Da: California Books, Miami, FL, U.S.A.
Condizione: New. Codice articolo I-9780521235433
Quantità: Più di 20 disponibili
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. Recursion theory - now a well-established branch of pure mathematics, having grown rapidly over the last 35 years - deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR). Recursion theory - now a well-established branch of pure mathematics, having grown rapidly over the last 35 years - deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Codice articolo 9780521235433
Quantità: 1 disponibili
Da: Ria Christie Collections, Uxbridge, Regno Unito
Condizione: New. In. Codice articolo ria9780521235433_new
Quantità: Più di 20 disponibili