en savoir plus
Permet à tous ses détenteurs d'obtenir 5% de réduction sur tous les livres lors du retrait en magasin (réduction non cumulable avec les réductions de type étudiant).
Offre également un certain nombre d'avantages auprès de nos partenaires.
Avec les favoris, retrouvez dans un espace les sélections effectuées au fur et à mesure de vos navigations dans le site.
Constituez pour votre usage personnel vos listes de livres en prévisions d'achats futurs et votre sélection d'articles, dossiers, événements, vidéos ou podcasts préférés ou à découvrir plus tard...
Il suffit simplement de cliquer sur "Ajout Favori" sur chaque page qui vous intéresse pour les retrouver ensuite dans votre espace personnel.
Requiert un compte Mollat
Requiert un compte Mollat
Présente les bases de la théorie de la complexité des algorithmes et en dérive les théorèmes fondamentaux de décidabilité et d'indécidabilité pour la logique et l'arithmétique, dont le premier théorème d'incomplétude de Gödel. ©Electre 2025
Paru le : 01/01/1993
Thématique : Langages de programmation
Auteur(s) : Auteur : Patrick Dehornoy
Éditeur(s) :
Springer
Collection(s) : Mathématiques et applications
Série(s) : Non précisé.
ISBN : Non précisé.
EAN13 : 9783540568995
Reliure : Broché
Pages : IV-200
Poids: 0 g