Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Elaine J. Weyuker

Auteur principal : Davis, Martin, 1928-, AuteurCo-auteur : Weyuker, Elaine J., AuteurType de document : MonographieCollection : Computer science and applied mathematicsLangue : anglais.Pays: Etats Unis.Éditeur : San Diego : Academic Press, 1983Description : 1 vol. (xix-425 p.) ; 24 cmISBN: 9780122063800.ISSN: 0884-2027.Bibliographie : Bibliogr. p. 417-418. Index.Sujet MSC : 03D60, Computability and recursion theory on ordinals, admissible sets, etc.
03B05, General logic, Classical propositional logic
03B10, General logic, Classical first-order logic
68Q25, Computer science - Theory of computing, Analysis of algorithms and problem complexity
68Q45, Computer science - Theory of computing, Formal languages and automata
Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle 1
03 DAV (Browse shelf(Opens below)) Available 10361-01

Bibliogr. p. 417-418. Index

There are no comments on this title.

to post a comment.