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

Ville d'édition : Barcelone ; Milan ; Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782225821042

ISBN : 2-225-82104-6

Collation : Bibliogr. ; Index ; xii#fig.#24 cm#rel.

Collection : Etudes et recherches en informatique

Localisation : Ouvrage RdC (LALE)

Code ACM : D.1 ; D.1.6 ; D.3.0 ; D.3.1 ; D.3.3

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires