En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Ströhlein, Thomas 1 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 301 p.
Cote : 00021536
algèbre cylindrique # algèbre polyadique # combinatoire # informatique théorique # logique algébrique # logique de programmation # mathématique discrète # matrice # sémantique # théorie des graphes # théorie des modèles # vérification et spécification de programme

00-01 ; 00A06 ; 03B70 ; 03G15 ; 05-01

Localisation : Ouvrage RdC (SCHM)

Sélection Signaler une erreur

Filtrer

Auteurs
Référence
Codes MSC
Date de parution