Results 301 to 304 of about 12,123 (304)

Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction

Notre Dame Journal of Formal Logic, 1997
exaly  

A Pair of Conditional Normal Convergence Theorems

Theory of Probability & Its Applications, 1966
openaire   +2 more sources

Score Normalization for Text-Independent Speaker Verification Systems

2000
exaly  

Normal basis theorem

2018
openaire   +1 more source