01466nam2-2200409li-450 99000021088020331620180312154822.03-540-60381-60021088USA010021088(ALEPH)000021088USA01002108820001109d1995----km-y0itay0103----baengGWConditional and typed rewriting systems4th International workshop, CTRS-94Jerusalem, Israel, July 13-15, 1994proceedingsNachum Dershowitz ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 373 p.ill.24 cm.Lecture notes in computer science96800100202642001Lecture notes in computer sciencecongressigerusalemme1994scrittura elettronicacongressi19946525.Dershowitz,NachumInternational workshop CTRS-944.Gerusalemme1994753692Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210880203316001 LNCS (968)001871700100103751BKSCI1996040520001110USA011714ALANDI9020010131USA01163420020403USA011629PATRY9020040406USA011615Conditional and typed rewriting systems1516236UNISA01097nam0 22002891i 450 UON0008068420231205102427.64520020107d1977 |0itac50 baitaIT|||| |||||ˆ"‰Mactub""Era scritto"Racconti autobiografici di "Ba'Al"Aldo BallariSanremoMizar1977436 p., c. e p. di tav.24 cm001UON000675452001 Italia scomparsa3-4UON00361615ˆ"‰Era scritto"ERITREADescrizioni e viaggiUONC018233FISanremoUONL002235916.3504DESCRIZIONI E VIAGGI DELL'ERITREA21BALLARIAldoUONV053072661489MizarUONV258943650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00080684SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI ET VIII B c 152 SI AA 4364 7 152 Mactub"1300564UNIOR