From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving., , и . JELIA, том 838 из Lecture Notes in Computer Science, стр. 198-216. Springer, (1994)A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic., , , , и . SBIA, том 3171 из Lecture Notes in Computer Science, стр. 31-40. Springer, (2004)A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques., , , , , и . Fuzzy Sets Syst., (2013)Performance of MIMO MRC Systems with Co-Channel Interference., , , и . ICC, стр. 1343-1349. IEEE, (2006)Closure via functional dependence simplification., , , , и . Int. J. Comput. Math., 89 (4): 510-526 (2012)TAS-D++ vs tablas semanticas., , , и . GULP-PRODE (2), стр. 438-439. (1994)MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies., , , , и . IBERAMIA-SBIA, том 4140 из Lecture Notes in Computer Science, стр. 602-611. Springer, (2006)An accelerated-time simulation of baggage traffic in an airport terminal., , , и . Math. Comput. Simul., (2014)Enhancing Cas improper integrals computations using extensions of the residue theorem., , , , , и . Adv. Comput. Math., 45 (4): 1825-1841 (2019)A comparative study on super-resolution methods for enhanced micro, macro and calcification on digital mammograms: Multi-scale iterative resolution with wavelet and cosine transform., , , , и . CONIELECOMP, стр. 1-6. IEEE, (2017)