informatique # logique de programmation par contrainte # programmation automatique # calcul symbolique

Ville d'édition : Berlin ; Heidelberg

Pays d'édition : Allemagne

Langue : Anglais

EAN13 : 9783540584032

ISBN : 3-540-58403-X

Collation : fig.#tables#24 cm#broch.

Collection : Lecture notes in computer science

N° de collection : 0845

Localisation : Collection 1er étage

Numéro de congrès : 1

Année de la rencontre : 1994

Ville du congrès : Munich

Pays du congrès : Allemagne

Type Congrès : Congrès

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires