00000nam a2200000 a 4500 Hermenegildo, Manuel edt Bearbeiter/-in Logische Programmierung Programmiersprache Implementierung Konferenzschrift Kongress Programming languages: implementations, logics and programs 7th international symposium ; proceedings PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ; S. Doaitse Swierstra (ed.) Berlin Springer 1995 Lecture notes in computer science Vol. 982 9783540603597 9783540603597 354060359X 354060359X ger XI, 466 S.