calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de récursion # sémantique opérationnelle # théorie de la quantification

Ville d'édition : Boston ; N.Y. ; San Diego

Pays d'édition : États-Unis

Langue : Anglais

N° édition : 2nd ed.

EAN13 : 9780122063824

ISBN : 0-12-206382-1

Collation : 24 cm ; 609 p. ; Bibliogr. ; Index ; rel. ; xviii

Collection : Computer science and scientific computing

Localisation : Disparu

Code ACM : F.1 ; F.2 ; F.3 ; F.4.1 ; F.4.2

Type d'ouvrage : Monographie

Disponibilité : Disparu

Niveau d'autorisation : Public

Exemplaires