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  Théorèmes -- Démonstration automatique

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. Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre Devismes , Stéphane , 1979-.... Ellipses -- impr. 2012      2. Analyse mathématique : grands théorèmes du vingtième siècle Choimet , Denis , 19..-.... Calvage & Mounet -- DL 2009      3. Introduction à la logique : théorie de la démonstration : cours et exercices corrigés David , René , 1948-.... , mathématicien 2e édition Dunod , DL 2004      4. Introduction à la logique : théorie de la démonstration : cours et exercices corrigés David , René , 1948-.... , mathématicien Dunod , DL 2001      5. Proof theory and automated deduction Goubault-Larrecq , Jean , 19..-.... Kluwer Academic

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

Pour toute question, contactez la bibliothèque

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