Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Davis, Martin (1928-2023)
Titre(s) : Computability, complexity, and languages [Texte électronique] : fundamentals of theoretical computer science / Martin D. Davis, Elaine J. Weyuker
Publication : New York : Academic Press, 1983
Description matérielle : 1 ressource dématérialisée
Collection : Computer science and applied mathematics
Note(s) : Includes bibliographical references (pages 417-418) and index
Autre(s) auteur(s) : Weyuker, Elaine J.. Fonction indéterminée
Sujet(s) : Théorie des automates mathématiques
Complexité de calcul (informatique)
Langages formels
Logique mathématique
Identifiants, prix et caractéristiques : ISBN 9780122063800
Identifiant de la notice : ark:/12148/cb446319817
Notice n° :
FRBNF44631981
(notice reprise d'un réservoir extérieur)