Normal view MARC view ISBD view

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
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
Salle R
03 DAV (Browse shelf) Available 10361-01

Bibliogr. p. 417-418. Index

There are no comments for this item.

Log in to your account to post a comment.