approximation # calcul parallèle # classe de complexité # classe probabiliste # complexité # complexité en espace # définissabilité # définissabilité de Beth # définition explicite # définition implicite # définition inductive # interpolation de Craig # jeux d'Ehrenfeucht- Fraissé # logique # logique du second ordre # logique et calculabilité # loi 0-1 # structure finie # structure relationnelle # temps et espace # test de Los-Vaugt

Ville d'édition : Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782866014964

ISBN : 2-86601-496-0

Collation : 24 cm#broch. ; Bibliogr. ; Index

Collection : Collection informatique

Localisation : Ouvrage RdC (LASS)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires