Type(s) de contenu et mode(s) de consultation : Texte noté. Image fixe : sans médiation

Auteur(s) : International conference on constraint in computational logics (01 ; 1994 ; Munich, Allemagne)  Voir les notices liées en tant qu'auteur

Titre(s) : Constraints in computational logics [Texte imprimé] : first International conference, CCL'94, Munich, Germany, September 7-9, 1994, proceedings / Jean-Pierre Jouannaud, ed.

Publication : Berlin : Springer, cop. 1994

Description matérielle : VIII-367 p. : ill. ; 24 cm

Collection : Lecture notes in computer science ; 845

Lien à la collection : Lecture notes in computer science  Voir toutes les notices liées

Note(s) : Bibliogr. à la fin de chaque chap.

Autre(s) auteur(s) : Jouannaud, Jean-Pierre (1947-....). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Sujet(s) : Programmation par contraintes  Voir les notices liées en tant que sujet
Programmation logique  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  005.131 (23e éd.) = Logique symbolique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 3-540-58403-X

Identifiant de la notice  : ark:/12148/cb37462107f

Notice n° :  FRBNF37462107