fonction récursive # lambda calcul # logique combinatoire # logique générale # logique mathématique # théorie des types

Ville d'édition : Barcelone ; Milan ; Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782225820915

ISBN : 2-225-82091-0

Collation : Bibliogr. ; Index ; viii#table#25 cm#rel.

Collection : Etudes et recherches en informatique

Localisation : Disparu ; Ouvrge RdC (KRIV)

Notes : Doubles L16128 et L17419 don SMAI

Type d'ouvrage : Monographie

Disponibilité : Disparu ; empruntable

Niveau d'autorisation : Public

Exemplaires