Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997. The 18 revised f...
Wedi'i Gadw mewn:
| Awduron Corfforaethol: | , |
|---|---|
| Awduron Eraill: | , , |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Cyfres: | Lecture notes in computer science
1298 |
| Pynciau: | |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Algebraic and logic programming, 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997, proceedings, Michael Hanus, Jan Heering, Karl Meinke, eds, 1997, New York, Springer, 1 vol. (X-286 p.), Lecture notes in computer science, 3-540-63459-2 • Algebraic and Logic Programming, Texte imprimé, 9783662184646 |