m

F Nous contacter

0

Documents  Senechaud, Pascale | enregistrements trouvés : 1

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 215 p.

Thèse docteur

Localisation : Ouvrage RdC (SENE)

algèbre de Boole # algorithmique parallèle # anneaux de Boole # base de Grobner # calcul propositionnel # preuve de circuit

03G05 ; 06E20 ; 06Exx ; 68Q10 ; 68Txx

... Lire [+]

Filtrer

Auteurs
Date de parution
Codes MSC

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée


0
Z