01232nam2-2200337li-450 99000297943020331620180918155407.03-540-31428-8000297943USA01000297943(ALEPH)000297943USA010002979432002007092006-------y0itay0103----baengDETypes for proofs and programsInternational workshop, TYPES 2004Jouy-en-Josas, France, December 15-18, 2004revised selected papersJean-Christophe Filliâtre... [et al.] (eds.)Berlin [etc.]Springercopyr. 2006VIII, 272 p.ill.23 cmLecture notes in computer science383900100202642001Lecture notes in computer science3839Logica matematicaCongressiJouy-en-Josas2004511.30285FILLIÂTRE,Jean-ChristopheInternational workshop TYPES 2004<2004 ;Jouy-en-Josas>746698990002979430203316001 LNCS 383933223/CSB00100215706BKSCISENATORE9020070928USA011259Types for proofs and programs1490827UNISA01145nam0 22002771i 450 UON0031101020231205104055.19720080508d1978 |0itac50 baitaIT|||| 1||||Piccolo contributo alla ricerca su la origine e storia di PulcinellaGaetano Caporalepubblicazione postuma a cura di Gennaro NiolaAcerraNapoliLa Nuovissima1978XIX, 163 p.25 cm.PULCINELLAUONC050780FIAcerra (Na)UONL004382792.230922Commedia. Gruppi di persone21CAPORALEGaetanoUONV17795568453NIOLAGennaroUONV177956La NuovissimaUONV274364650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00311010SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI ITA Var 108 SI LO 35128 5 108 Piccolo contributo alla ricerca su la origine e storia di Pulcinella1375512UNIOR