Résultat de la recherche
1 résultat(s) recherche sur le tag 'preuve'
Affiner la recherche Interroger des sources externesAutomated Reasoning : Introduction and Applications / Larry WOS
Affiner la recherche Interroger des sources externes
Centre de documentation du LIRMM
Notre centre de ressources possède près de 8 500 références dont 5 000 livres et actes de conférences (proceedings), 3500 publications accessibles via Hal LIRMM (articles dans revues et conférences internationales, thèses, rapports de recherche, rapports de contrat et brevets), 60 revues en cours d'abonnement papier ou e-only.
Accueil
Sélection de la langue
Se connecter
Mot de passe oublié ?Adresse
Centre de documentation du LIRMM161 rue Ada
34095 Montpellier
France
04 67 41 85 00
contact