01631nam2-2200433li-450 99000020754020331620180312154713.03-540-61756-60020754USA010020754(ALEPH)000020754USA01002075420001109d1996----km-y0itay0103----baengGWimplementations, logics and programs8th International symposium, PLILP'96Aachen, Germany, September 24-27, 1996proceedingsHerbert Kuchen ... [et al.] (es.)Programming languagesBerlin [etc.]Springer-Verlagcopyr. 1996XI, 478 p.ill.25 cmLecture notes in computer science114000100202642001Lecture notes in computer sciencecongressiaachen1996elaboratori elettroniciprogrammazionecongressi1996linguaggi di programmazionecongressi1996logica matematicacongressi199600513Linguaggi di programmazioneKuchen,HerbertInternational symposium PLILP'968.Aachen1996746736Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207540203316001 LNCS (1140)001978200100103912BKSCI1997020720001110USA011714ALANDI9020010201USA01152520020403USA011628PATRY9020040406USA011615Implementations, logics and programs1490884UNISA