m

F Nous contacter

0

Documents  Lalement, René | enregistrements trouvés : 3

O
     

-A +A

P Q

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.

- 159 p.
ISBN 978-2-7465-0035-8

Quatre à quatre

Localisation : Disparu

axiome # enseignement # ensemble # généralité # introduction # langage mathématique # logique # modèle # objet # preuve # raisonnement # variable

00A05 ; 03-XX ; 97D80

... Lire [+]

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

- 377 p.
ISBN 978-0-13-770009-7

Prentice Hall international series in computer science

Localisation : Ouvrage RdC (LALE)

logique # réduction # résolution # informatique théorique # programmation logique # programmation fonctionnelle # calcul lambda # modèle # calculabilité # réécriture # complexité # théorie du calcul sémantique

68-02 ; 03B40 ; 03B70 ; 03C05 ; 68N17 ; 68Q42

... Lire [+]

Z