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 programs1490827UNISA01058nam a2200265 i 450099100031717970753620020506125134.0000505s1956 ||| ||| | spa b10683495-39ule_instEXGIL143403ExLBiblioteca Interfacoltàita928.6Bello, Andrés466326Temas de crítica literaria /Andrés Bello ; prólogo sobre los temas del pensamiento crítico de Bello por Arturo Uslar PietriCaracas :Ed. del Ministerio de Educación,1956LV, 784 p., 12 tav. :ill. ;23 cmObras completas de Andrés Bello ;9Bello, AndrésPensiero criticoUslar Pietri, Arturo.b1068349523-02-1728-06-02991000317179707536LE002 Lett. I N 512002000502957le002-E0.00-l- 00000.i1077721028-06-02Temas de critica literaria875650UNISALENTOle00201-01-00ma -engxx 01