Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionEditeurNoteTous motsISBNPPN       Modifier la recherche   > CERGY

Résultats de recherche  5 résultat(s) pour  Décidabilité (logique mathématique)

Trier par: Choisissez...Aucun(e)AuteursTitresEditeursType de document Date d'édition croissanteDate d'édition décroissanteHIP titre Abreg inverse    Limiter par: Type de document --Livres imprimés --Revues papier --Thèses --Vidéos / DVD --Documents électroniques --Cartes --ArticlesBibliothèque --Cerclades --Chênes --Neuville --St Martin --Argenteuil --Sarcelles --Ensea --Antony --Cergy-Hirsch --Saint-Germain-en-Laye --GennevilliersLangue --Anglais --Français --Allemand --Italien --Japonais --Portugais --Espagnol

 

---

1. Introduction to the theory of computation Sipser , Michael , 19..-.... Third edition Cengage learning -- cop. 2013      2. Théorie de la récursivité pour la métamathématique Smullyan , Raymond Merrill , 1919-2017 Masson -- DL 1995, cop. 1995      3. Complexité et décidabilité Dehornoy , Patrick , 1952-2019 Springer-Verlag -- cop. 1993      4. Calculabilité et décidabilité : une introduction Autebert , Jean-Michel Masson -- impr. 1992      5. Langage PASCAL et logique du premier ordre . Tome 2 . Récursivité et dérécursification, preuves et complexité d'algorithmes Margenstern , Maurice Masson , 1990

Ma liste : (ex. 1,2 ou 5-20, max. 100)

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.