m

F Nous contacter

0
     
Thèse

H 0 Calcul formel et parallélisme, bases de Grobner booléennes, méthodes de calcul, applications, paraléllisation

Senechaud, Pascale (Principal)

Institut National Polytechnique De Grenoble

1990

215 p.

00013292

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

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

Ville d'édition : Grenoble

Pays d'édition : France

Langue : Français

Collation : 30 cm#broch. ; Bibliogr.

Collection : Thèse docteur

Sous collection : Grenoble mathématiques appliquées 1990

Localisation : Ouvrage RdC (SENE)

Type thèse : Thèse

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00013292 [disponible]
Z