- 370 p.
Call n° : 00017455
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
Location : Ouvrage RdC (LALE)