01557nam2-2200397li-450 99000111133020331620180312154619.03-540-43931-5000111133USA01000111133(ALEPH)000111133USA010001111332002002122002-------y0itay0103----baENGGWAutomated deduction - CADE-1818th International conference on automated deductionCopenhagen, Denmark, July 27-30, 2002proceedingsAndrei Voronkov (ed.)BerlinSpringer-Verlagcopyr. 2002XII, 534 p.ill.23 cmLecture notes in artificial intelligence239200100199922001Lecture notes in artificial intelligenceintelligenza artificialecongressi2392logica matematicacongressi2392005131Logica matematica (Logica simbolica)Voronkov,AndreiInternational conference on automated deduction <18.; 2002 ; Copenhagen , Denmark >745891Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990001111330203316006.3 LNIA (2392)0027050 CBS006.300112058BKSCIDIGIUSEPPE9020021204USA011048DIGIUSEPPE9020021216USA011131DIGIUSEPPE9020021216USA011132PATRY9020040406USA011717Automated deduction - CADE-181488056UNISA01078nam0 22002773i 450 VAN010719420170110115050.49978-88-980683-3-320170110f2011 |0itac50 baitaIT|||| |||||ˆI ‰trustsguida alla comprensioneFilippo PattiPalermo : EGB, 2011192 p.24 cmSul frontespizio: Contiene Piccolo Dizionario dei termini più ricorrenti per lo studio del trust. Sul dorso: Vita notarile.001VAN01071732001 Nuovi quaderni210 PalermoEGB.33PalermoVANL000013PattiFilippoVANV082782721108EGBVANV114521650ITSOL20230616RICABIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZAIT-CE0105VAN00VAN0107194BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA00CONS XV.Eb.307 33 00UBG1341 20170110 Trusts1412676UNICAMPANIA