Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings

This volume constitutes the proceedings of the First International Conference on Constraints in Computational Logics, CCL '94, held in Munich, Germany in September 1994. Besides abstracts or full papers of the 5 invited talks by senior researchers, the book contains revised versions of the 21 a...

Description complète

Enregistré dans:
Détails bibliographiques
Collectivité auteur: International conference on constraint in computational logics :Munich, Allemagne
Autres auteurs: Jouannaud, Jean-Pierre (Directeur de la publication)
Format: Livre numérique
Langue:Anglais
Publié: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Collection:Lecture notes in computer science 845
Sujets:
Accès en ligne:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Constraints in computational logics, first international conference, CCL '94, Munich, Germany, September 7-9, 1994, proceedings, Jean-Pierre Jouannaud (Ed.), Berlin, Springer-Verlag, 1994, 1 vol. (VIII-367 p.), Lecture notes in computer science, 3-540-58403-X
• Constraints in Computational Logics, Texte imprimé, 9783662212066

En ligne

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL