TY - BOOK AU - Hermenegildo,Manuel AU - Swierstra,S.Doaitse ED - PLILP '95 ED - International Symposium on Programming Language Implementation and Logic Programming TI - Programming languages: implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings SN - 354060359X AV - QA76.7 P56 1995 PY - 1995/// CY - Berlin PB - Springer KW - Programming languages (Electronic computers) KW - Congresses KW - Logic programming ER -