β-η-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
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
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) - 21:23, 5 January 2024
"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
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,482 words) - 21:19, 26 November 2024
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...
87 KB (11,491 words) - 12:05, 7 May 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,118 words) - 20:04, 2 May 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) - 03:43, 19 May 2025