β-η-normali nel λ-K-calcolo". Pubbl. INAC (in Italian). 696. Roma. —; Berarducci, A. (1985). "Automatic Synthesis of typed Lambda-programs on Term Algebras"...
6 KB (513 words) - 11:49, 22 January 2025
the University of Pisa in 1971, with a thesis titled, "Complessità di calcolo delle funzioni ricorsive". He then pursued a three-year doctoral scholarship...
23 KB (2,483 words) - 09:53, 6 July 2025
hdl:2027/mdp.39015095253541. Retrieved 4 June 2023. Capparelli, Stefano (2003). "Calcolo della funzione di partizione di Kostant". Bollettino dell'Unione Matematica...
10 KB (1,711 words) - 14:20, 24 June 2025
Mathematica, 22 (3): 262–303, doi:10.1006/hmat.1995.1025 Peano, Giuseppe (1888), Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto dalle Operazioni...
34 KB (4,751 words) - 04:52, 13 April 2025
"Complexity of the unification algorithm for first-order expressions". Calcolo. 12 (4): 361–372. doi:10.1007/BF02575754. S2CID 189789152. Baader, Franz;...
70 KB (7,377 words) - 06:19, 23 May 2025
Gualtieri, M.I.; Luceri, R. (March 2006). "A modification of Muller's method". Calcolo. 43 (1): 39–50. doi:10.1007/s10092-006-0113-9. S2CID 124772103....
9 KB (1,308 words) - 13:09, 7 July 2025
American Mathematical Society, ISBN 0-8218-2031-1 Peano, Giuseppe (1888), Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto dalle Operazioni...
77 KB (12,242 words) - 02:39, 1 July 2025
Mathematica, 22 (3): 262–303, doi:10.1006/hmat.1995.1025 Peano, Giuseppe (1888), Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto dalle Operazioni...
90 KB (11,956 words) - 22:40, 23 July 2025
https://amslaurea.unibo.it/13819/1/GiorgiaLari.pdf Lari, Giorgia (2016) "Storia del calcolo differenziale e la disputa tra Leibniz e Newton, Tesi di Laurea in Storia...
248 KB (26,253 words) - 06:53, 22 July 2025