m

F Nous contacter

0

Documents  Xuong, N. H. | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 412 p.
ISBN 978-2-225-82621-4

Logique mathématiques informatique

Localisation : Ouvrage RdC (XUON)

algèbre de Boole # algèbre universelle # arbre et arborescence # circuit dans les graphes # complexité de calcul # construction inductive # dénombrement # ensemble ordonné # induction noethérienne # induction structurelle # informatique # mathématique algorithmique # mathématique discrète # méthode de récurrence # point fixe # structure algébrique # système relationnel # treillis

05C05 ; 06Axx ; 06Bxx ; 06Exx ; 68Rxx

... Lire [+]

Filtrer

Auteurs
Référence
Codes MSC
Date de parution

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée


0
Z