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

Détails bibliographiques
Autres auteurs: Jouannaud, Jean-Pierre
Format: Livre
Publié: Berlin Springer-Verlag c1994.
Collection:Lecture notes in computer science 845
Sujets: