Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 215 p.
Cote : 00013292
algèbre de Boole # algorithmique parallèle # anneaux de Boole # base de Grobner # calcul propositionnel # preuve de circuit
03G05 ; 06E20 ; 06Exx ; 68Q10 ; 68Txx
Localisation : Ouvrage RdC (SENE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 315-716
Cote : 00012490
algèbre de Boole # handbook
03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx
Localisation : Ouvrage RdC (Hand)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- Pp. 721-1367
Cote : 00012491
algèbre de Boole # handbook
03-00 ; 03G05 ; 06-00 ; 06E20 ; 06Exx
Localisation : Ouvrage RdC (Hand)