( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Increasing the efficiency of automated theorem proving.

, , и . J. Appl. Non Class. Logics, 5 (1): 9-29 (1995)

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.

Carlos Aguilera

Máximo Aguilera

Jorge Aguilera Iparraguirre

Ab initio calculations of hydrocarbon thermochemistry and reaction kinetics. Uni Karlsruhe, (2009)

Raudol Ruiz Aguilera

Seki Takayama Aguilera

 

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

A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic., , , , и . SBIA, том 3171 из Lecture Notes in Computer Science, стр. 31-40. Springer, (2004)TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving., , и . JELIA, том 838 из Lecture Notes in Computer Science, стр. 198-216. Springer, (1994)Reducing signed propositional formulas., , , и . Soft Comput., 2 (4): 157-166 (1998)Performance of MIMO MRC Systems with Co-Channel Interference., , , и . ICC, стр. 1343-1349. IEEE, (2006)Performance comparison of MRC and IC under transmit diversity., , , и . IEEE Trans. Wirel. Commun., 8 (5): 2484-2493 (2009)Reductions for non-clausal theorem proving., , , и . Theor. Comput. Sci., 266 (1-2): 81-112 (2001)Increasing the efficiency of automated theorem proving., , и . J. Appl. Non Class. Logics, 5 (1): 9-29 (1995)A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques., , , , , и . Fuzzy Sets Syst., (2013)A new closure algorithm based in logic: SLFD-Closure versus classical closures., , , , и . Inteligencia Artif., 10 (31): 31-40 (2006)Closure via functional dependence simplification., , , , и . Int. J. Comput. Math., 89 (4): 510-526 (2012)