TY - BOOK T1 - Programming languages implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings T2 - Lecture notes in computer science A2 - Hermenegildo, Manuel A2 - Swierstra, S. Doaitse LA - English PP - Berlin PB - Springer YR - 1995 UL - https://tuklas.up.edu.ph/Record/UP-99796217603083957 OP - 466 CN - QA 76.7 P65 1995 SN - 354060359X KW - Programming languages (Electronic computers) : Congresses. KW - Logic programming : Congresses. ER -