forme β-η-normali nel λ-K-calcolo", Pubbl. INAC, n. 696, Roma, 1968. C. Böhm, A. Berarducci, "Automatic Synthesis of typed Lambda-programs on Term Algebras"...
5 KB (480 words) - 14:49, 19 July 2024
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) - 01:53, 4 May 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...
34 KB (4,730 words) - 00:00, 25 September 2023
the University of Pisa in 1971, with a thesis titled, "Complessità di calcolo delle funzioni ricorsive". He then pursued a three-year doctoral scholarship...
25 KB (2,486 words) - 03:06, 1 June 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,431 words) - 05:02, 14 July 2024
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...
237 KB (25,900 words) - 07:21, 25 June 2024
American Mathematical Society, ISBN 0-8218-2031-1 Peano, Giuseppe (1888), Calcolo Geometrico secondo l'Ausdehnungslehre di H. Grassmann preceduto dalle Operazioni...
76 KB (12,094 words) - 12:20, 12 July 2024