m

F Nous contacter

0

Documents  08A40 | enregistrements trouvés : 9

O
     

-A +A

P Q

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

- 166 p.
ISBN 978-2-7606-0770-5

Seminaire de mathematiques superieures , 0099

Localisation : Salle de manutention

algebre universelle # logique # theorie des classes

03Bxx ; 08A40 ; 08Axx

... Lire [+]

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

- 250 p.
ISBN 978-0-8218-5076-3

Contemporary mathematics , 0069

Localisation : Collection 1er étage

logique mathématique # logique symbolique

08A40 ; 10E05 ; 52A99 ; 60A99 ; 60G99

... Lire [+]

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

- 308 p.
ISBN 978-0-387-12329-5

Lecture notes in mathematics , 1004

Localisation : Collection 1er étage

06C05 ; 06D05 ; 06F15 ; 08A40 ; 08B05

... Lire [+]

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

- 223 p.
ISBN 978-86-80593-57-9

Zbornik radova , 0018

Localisation : Ouvrage RdC (LOGI)

théorie de la démonstration # logique probabiliste de premier ordre # clone et hyperclone # commutation et conception logique # système de preuve interactive

18-01 ; 03F07 ; 18A15 ; 03F05 ; 18D10 ; 03B48 ; 03B60 ; 03B70 ; 03B35 ; 68T37 ; 68T15 ; 68T30 ; 03-02 ; 03B40 ; 03B47 ; 68N18 ; 03F52 ; 08-02 ; 08A40 ; 03C13 ; 15-02 ; 43A32 ; 94B05

... Lire [+]

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

- 358 p.
ISBN 978-1-58488-203-9

Localisation : Ouvrage RdC (KAAR)

système algébrique # théorème de complétude # complétude polynomiale # treillis # variété complète affine # variété spéciale

08-02 ; 08A40 ; 06-02 ; 08B05

... Lire [+]

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

- 425 p.
ISBN 978-0-471-61163-9

Localisation : Ouvrage RdC (AKRI)

algèbre numérique # analyse numérique # code correcteur # corps fini # cryptographie # polynome

08A40 ; 65-02 ; 94A60 ; 94Bxx

... Lire [+]

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

- 237 p.
ISBN 978-90-6196-306-6

CWI tract , 0028

Localisation : Collection 1er étage

algèbre universelle # langage naturel # linguistique mathématiques # logique # logique mathématiqu es # logique modale # logique symbolique

03B45 ; 03B65 ; 08A40 ; 08A55 ; 68S10

... Lire [+]

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

- 64 p.

Notre Dame mathematical lectures , 0005

Localisation : Ouvrage RdC (JONS)

algèbre # centre d'une algèbre # décomposition directe de système # système algébrique fini

08A30 ; 08A40 ; 08B25 ; 20N15

... Lire [+]

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

- 379 p.

Mathematische lehrbücher und monographien , 0010

Localisation : Ouvrage RdC (KLAUA)

algèbre de classe # axiomatiquqe # ensemble fini # fondement # logique # nombres cardinaux # nombres ordinaux # relation d'ordre # structure algébrique

00A30 ; 03B30 ; 03E10 ; 06Fxx ; 08A40

... Lire [+]

Z