A programming approach to computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib

Auteur principal : Kfoury, Assaf J., 1945-, AuteurCo-auteur : Moll, Robert N., Auteur • Arbib, Michael A., 1940-, AuteurType de document : MonographieCollection : Texts and monographs in computer scienceLangue : anglais.Pays: Etats Unis.Éditeur : New York : Springer-Verlag, 1982Description : 1 vol. (viii-251 p.) : ill. ; 25 cmISBN: 0387907432.ISSN: 0172-603X.Bibliographie : Bibliogr. p. 235-237. Index.Sujet MSC : 03D60, Computability and recursion theory on ordinals, admissible sets, etc.
03B70, General logic, Logic in computer science
03D20, Computability and recursion theory, Recursive functions and relations, subrecursive hierarchies
68N01, Computer science, General topics in the theory of software
03D80, Applications of computability and recursion theory
En-ligne : Springerlink
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
 Monographie Monographie CMI
Salle 1
03 KFO (Browse shelf(Opens below)) Available 10625-01

Bibliogr. p. 235-237. Index

There are no comments on this title.

to post a comment.