skip to main content
Langue :
Afficher les résultats avec :
Filtré par : Collection: Informatique supprimer
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
Material Type:
Livre
Ajouter au Panier

Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité

Dowek, Gilles (1966-...)

Appartient à la collection : Informatique (Palaiseau)

Palaiseau. Les Editions de l'Ecole polytechnique, DL 2010

Disponible(->>)

Refine Search Results

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Dowek, Gilles

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :

Recherche dans les bases de données distantes en cours. Merci de patienter.