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 programs1490827UNISA01200cam0 2200289 450 E60020006846820221212153507.020101105d1973 |||||ita|0103 baitaIT<<Le >>dimore filosofali e il simbolismo ermetico nei suoi rapporti con l'arte sacra e l'esoterismo della Grande OperaFulcanellicon tre prefazioni di Eugene Canseliet3. ed. ampliataRomaEdizioni mediterraneec19732 v.26 cmFulcanelliA600200063148070200282Canseliet, EugéneA600200063149070ITUNISOB20221212RICAUNISOBUNISOB10053448UNISOB10053449E600200068468M 102 Monografia moderna SBNM100004589-1Si53448massimoUNISOBUNISOB20101105132301.020221212153447.0bethb100004589-2SI53449acquistobethbUNISOBUNISOB20221212153448.020221212153507.0bethbDimore filosofali e il simbolismo ermetico nei suoi rapporti con l'arte sacra e l'esoterismo della Grande Opera1700010UNISOB