( en | de | ru )

 

Disambiguierung von "Aguilera, Gabriel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving.

, , und . JELIA, Volume 838 von Lecture Notes in Computer Science, Seite 198-216. Springer, (1994)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

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

 

Weitere Publikationen von Autoren mit dem selben Namen

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