000 00772 a2200265 4500
001 71151
020 _a3-540-60359-X0
041 _aeng
080 _a681.3.06 Pro:7:95
245 _aProgramming languages : implementations, logics and programs : 7th international symposium proceedings PLILP'95, Utrecht, The Netherlands, Sept. 20-22, 1995 / edited by Manuel Hermenegildo and S. Doaitse Swierstra
250 _a
260 _a
260 _bSpringer
260 _c1995
300 _axi,467 p.
300 _c23.5 cm
490 _aLecture notes in computer science ; v.982
100 _a
700 _a
650 _a
650 _aProgramming languages (Electronic computers)-Congresses
650 _aLogic programming-Congresses
942 _cBK
942 _2UDC
999 _c65410
_d65410