arbre d'itérations # bonne suite d'extenseurs # fermeture sous segment initial # logique # processus de comparaison # solidité et condensation # souris écrasée # structure fine # structure finie # ultrapuissance # unicité de branche bien trouvée # unicité de l'extenseur suivant

Ville d'édition : Berlin ; Heidelberg ; N.Y.

Pays d'édition : Allemagne RDA

Langue : Anglais

EAN13 : 9783540574941

ISBN : 3-540-57494-8

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

Collection : Lecture notes in logic

N° de collection : 0003

Localisation : Ouvrage RdC (MITC)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires