01568nam2-2200433li-450 99000020492020331620180312154819.03-540-56992-80020492USA010020492(ALEPH)000020492USA01002049220001109d1993----km-y0itay0103----baengGWComputer science logic6th workshop, CSL'92San Miniato, Italy . September 28-October 2, 1992selected papersE. Börger ... [et al.]Berlin [etc.]Springer-Verlagcopyr. 1993VIII, 439 p.ill.24 cmLecture notes in computer science70200100202642001Lecture notes in computer sciencecongressisan miniato1992elaboratori elettroniciprogrammazionecongressi1992logica matematicacongressi19920051Programmazione. Tecnica di sviluppo dei programmiBÖRGER,EgonWorkshop CSL'926.San Miniato1992753725Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204920203316001 LNCS (702)001544800100102971BKSCI1994060920001110USA011714ALANDI9020010129USA01161620020403USA011628PATRY9020040406USA011615PATRY9020061003USA011548Computer science logic1516269UNISA