m

Documents  68M17 | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 114 p.
ISBN 978-3-540-15239-2

Lecture notes in computer science , 0191

Localisation : Collection 1er étage

logique # programmation logique # programmation parallèle # spécification de programme # vérification de programme

68M17 ; 68Q10

... Lire [+]

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

- 32 p.

Localisation : Ouvrage RdC (IMBE)

contrainte redondante # logique avec contrainte # programmation logique # programmation par contrainte # resclution de contrainte linéaire # élimination de variables

41A29 ; 68M17

... Lire [+]

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

- 164 p.

Localisation : Ouvrage RdC (IMBE)

contrainte redondante # logique avec contrainte # programmation logique # programmation par contrainte # resclution de contrainte linéaire # élimination de variables

41A29 ; 68M17

... Lire [+]

Filtrer

Type
Auteurs

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z