En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

Computability, complexity, and languages
fundamentals of theoretical computer science

Sélection Signaler une erreur
Ouvrage

Davis, Martin D. (Principal) ; Sigal, Ron (Co-auteur) ; Weyuker, Elaine J. (Co-auteur)

Academic Press

1994

978-0-12-206382-4

00017363

03Dxx ; 68Qxx

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

Cote Code barre Commentaire
1 00017363
D2006
Disparu 2005
D2004
D 2003

[disponible]
Sélection Signaler une erreur