Special session on automatic theorem proving (1983 ; Denver) Automated theorem proving - after 25 years - proceedings of the Special session on automatic theorem proving - 89th Annual meeting of the American mathematical society held in Denver, Colorado, January 5-9 1983 / W. W. Bledsoe, D. W. Loveland, editors Providence - American mathematical society, c1984 Testo Monografico Specker, Ernst Selecta / Ernst Specker ; edited by Gerhard Jager ... ed altri Basel ; Boston - Birkhauser, 1990 Testo Monografico Spector, Paul E. Summated rating scale construction - an introduction / Paul E. Spector Newbury Park etc. - Sage, 1992 Testo Monografico Speer, Andreas Die entdeckte Natur - Untersuchungen zu Begrundungsversuchen einer "scientia naturalis" im 12. Jahrhundert / von Andreas Speer Leiden (etc.) - E. J. Brill, 1995 Testo Monografico Speiser, Andreas Die Theorie der Gruppen von endlicher Ordnung - mit Anwendungen auf algebraische Zahlen und Gleichungen sowie auf die Krystallographie / von Andreas Speiser Berlin - J. Springer, 1937 Testo Monografico Spelta, Cesare Cenni critici sulla logica matematica / Cesare Spelta Genova - Martini, 1899 Testo Monografico Spelta, Dario Matematica finanziaria / Dario Spelta Bologna - Pitagora, ©1996 Testo Monografico Spelta, Dario Operazioni finanziarie elementari / Dario Spelta Bologna - Pitagora, ©1992 Testo Monografico Spelta, Dario Le origini della matematica attuariale / Dario Spelta Bologna - (s.n.), 2003 Testo Monografico Spelta, Dario Rendite / Dario Spelta Bologna - Pitagora, 1993 Testo Monografico Spelta, Dario Teoria matematica delle assicurazioni sulla vita / Dario Spelta Bologna - Pitagora, ©2001 Testo Monografico Spencer, Joel Ten lectures on the probabilistic method / Joel Spencer Philadelphia - Society for industrial and applied mathematics, 1994 Testo Monografico Spera, Salvatore La formula di Simpson ricavata dalla formula d'interpolazione di Newton / Salvatore Spera Luogo di pubblicazione non indicato - s.n. , 19.. Testo Monografico Speranza, Francesco (1932-1998) 1 / Francesco Speranza Bologna - Zanichelli, ©1984 Incluso in > La matematica - parole cose numeri figure / Francesco Speranza Testo Monografico Speranza, Francesco (1932-1998) 1 / Francesco Speranza, Alba Rossi Dell'Acqua Bologna - Zanichelli, 1979 Incluso in > Il linguaggio della matematica / Francesco Speranza, Alba Rossi Dell'Acqua Testo Monografico |