01604nam2-2200445li-450 99000020493020331620180312154909.00020493USA010020493(ALEPH)000020493USA01002049320001109d1991----km-y0itay0103----baengGWComputer science logic5th Workshop, CSL'91Berne, Switzerland, October 7-11, 1991proceedingsE. BÖrger ... [et al.]Berlin [etc.]Springer-Verlag1991VIII, 428 p.ill.25 cmLecture notes in computer science62600100202642001Lecture notes in computer sciencecongressiberna1991elaboratori elettroniciprogrammazionecongressi1991logica matematicacongressi19910051Programmazione. Tecnica di sviluppo dei programmiBÖRGER,EgonWorkshopCSL'915.Berne1991754770Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204930203316001 LNCS (626)001458100100102698BKSCI1992012820001110USA011714ALANDI9020010129USA010929ALANDI9020010129USA010929PATRY9020010914USA01094520020403USA011628PATRY9020040406USA011615PATRY9020061003USA011548Computer science logic1518978UNISA