Interfacing external CA systems for Gröbner bases computation in M izar proof checkingNaumowicz · International Journal of Computer Mathematics2010PDF96 KB
sezione lavoro; ordinanza 4 giugno 2004, n. 10691; Pres. Prestipino, Rel. Foglia, P.M. Frazzini (concl. diff.); Beccari (Avv. Pellettieri) c. Soc. Glaxo Smithkline (Avv. Perone, Izar, Soma). Regolamento di competenza avverso Trib. Roma 26 aprile 2002Il Foro Italiano2004PDF539 KB
sezione lavoro; sentenza 28 marzo 2000, n. 3736; Pres. Amirante, Est. Dell'Anno, P.M. Sepe (concl. diff.); Soc. Hoechst Marion Roussel (Avv. Perone, Vaccarella, Izar) c. Pallone (Avv. R. e C. Scognamiglio). Dichiara inammissibile ricorso avverso Trib. Milano 22 gennaio 1997Il Foro Italiano2000PDF919 KB
Šadd al-izār fī ḥaṭṭ al-auzār ʿan zuwwär al-mazār. Ta'lif-i Muʿīnaddīn Abū l-Qāsim CUNAID-1 ŠīRĀZī ki dar säl-i 791 qamari taʾlīf suda ba-taṣḥīḥ va-taḥšiya-i ʿallāma-i faqīd-i marhüm Muhammad Qazwini va-ʿAbbās Iqbāl. — Tahrān 1328 šamsī (1950), Cäpxäna-i Maclis. 5, 621 s.Ritter · Oriens1952PDF281 KB
