01508nam2-2200409li-450 99000020902020331620180312154906.03-540-64299-40020902USA010020902(ALEPH)000020902USA01002090220001109d1998----km-y0itay0103----baengGWRecent trends in algebraic development techniques12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997selected papersFrancesco Parisi Presicce (ed.)BerlinSpringercopyr. 1998VIII, 433 pill.23 cmLecture notes in computer science137600100202642001Lecture notes in computer sciencecongressitarquinia1997logica matematicacongressi1997005131Logica matematica (Logica simbolica)Parisi Presicce,FrancescoInternational workshop WADT'9712.Tarquinia1997754758Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209020203316001 LNCS (1376)002163400100104160BKSCI1998070620001110USA011714ALANDI9020010206USA01102620020403USA011629PATRY9020040406USA011615Recent trends in algebraic development techniques1518964UNISA