m

Documents  D.1.6 | enregistrements trouvés : 5

O
     

-A +A

P Q

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

- 195 p.
ISBN 978-3-540-55038-9

Lecture notes in computer science , 0569

Localisation : Collection 1er étage

parallèle # programmation logique # prolog

68M15 ; 68Q10

... Lire [+]

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

- 49 p.
ISBN 978-0-89871-164-6

CBMS-NSF regional conference series in applied mathematics , 0031

Localisation : Collection 1er étage

annotation de programme systèmatique # correction partielle ou totale # logique de programmation informatique # synthèse de programme # terminaison de système de production

68N17 ; 68Nxx

... Lire [+]

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

- 370 p.
ISBN 978-2-225-82104-2

Etudes et recherches en informatique

Localisation : Ouvrage RdC (LALE)

algèbre et équation # calcul lambda # calculabilité # classification de problème # codage # complexité # décidabilité # logique de premier ordre # logique générale # logique équationnelle # meta programme # négation # preuve équationnelle # programmation fonctionnelle # programme logique # résolution # structure de contrôle # système de reécriture # sémantique # terminaison et confluence # théorie des modèles # unification # égalité et résolution

03B10 ; 03B25 ; 03B40 ; 03Cxx ; 68N17

... Lire [+]

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

- 292 p.
ISBN 978-3-540-11492-5

Lecture notes in computer science , 0135

Localisation : Collection 1er étage

pl/cv2 # programmation logique

68N17

... Lire [+]

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

- 32 p.

Localisation : Ouvrage RdC (IMBE)

contrainte linéaire sur nombre réel # contrainte redondante # programmation en logique avec contrainte # pédagodie # résolution de contrainte linéaire en programmation par contr # élimination de variable dans les diséquations (non =) # élimination de variables dans les inéquations (< ou =)

68N17

... Lire [+]

Z