共 50 条
- [31] Proof search and proof check for equational and inductive theorems AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 297 - 316
- [34] Central limit theorems for stochastic wave equations in dimensions one and two STOCHASTICS AND PARTIAL DIFFERENTIAL EQUATIONS-ANALYSIS AND COMPUTATIONS, 2022, 10 (02): : 392 - 418
- [35] Central limit theorems for stochastic wave equations in dimensions one and two Stochastics and Partial Differential Equations: Analysis and Computations, 2022, 10 : 392 - 418
- [37] Molecular Synthesis for Probability Theory and Stochastic Process Journal of Signal Processing Systems, 2018, 90 : 1479 - 1494
- [38] ON STOCHASTIC EQUATIONS IN THEORY OF CONDITIONAL MARKOV PROCESS THEORY OF PROBILITY AND ITS APPLICATIONS,USSR, 1966, 11 (01): : 179 - &
- [39] THE CONJUGATE PROCESS IN STOCHASTIC-REALIZATION THEORY MATHEMATICAL PROGRAMMING STUDY, 1982, 18 (MAY): : 12 - 26
- [40] Molecular Synthesis for Probability Theory and Stochastic Process JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2018, 90 (10): : 1479 - 1494