Researcher
Gabriel Aguilera-Venegas
Universidad de Malaga
Statistics
18 papers found
All papers authored by Gabriel Aguilera-Venegas
Refreshing results…
,
S. Valdés ,
F. Soriguer ,
J. Vendrell ,
I. Urrutia ,
V. Pérez,
E. Ortega ,
P. Ocón ,
E. Montanya ,
E. Menéndez ,
A. Lago-Sampedro ,
T. González-Frutos ,
R. Gomis ,
A. Goday ,
S. García-Serrano
and 12 other authors
Incidence of diabetes mellitus in Spain as results of the nation-wide cohort di@bet.es study
Download from www.nature.com
A Portable Knowledge Based System for Car Breakdown Evaluation
Download from hdl.handle.net
,
Pedro Rodríguez-Cielos
Technology integration into mathematics education and applications
Upload
,
José Luis Galán García,
Pedro Rodríguez Cielos
A New Neural Model for Traffic Simulation
Upload
,
Gabriel Aguilera ,
Andrea J. Goldsmith
Performance comparison of MRC and IC under transmit diversity
Download from www.researchgate.net
,
Juan P. Pena Martín,
Gabriel Aguilera ,
Andrea J. Goldsmith
Performance of MIMO MRC systems with co-channel interference
Download from www.researchgate.net
,
Inmaculada Perez de Guzmán,
Manuel Enciso,
Pablo Cordero,
I. P. De Guzmán
A new closure algorithm based in logic: SLFD-Closure versus classical closures.
Download from www.researchgate.net
,
Alfredo Burrieza,
Pablo Cordero,
Inmaculada P. de Guzmán,
Emilo Muñoz
Download from www.researchgate.net
,
Inman P. de Guzmán,
Manuel Ojeda-Aciego,
Agustín Valverde
Reductions for non-clausal theorem proving
Download from doi.org
,
Inma P. de Guzmán,
Manuel Ojeda
Increasing the efficiency of automated theorem proving
Upload
,
Inma P. de Guzmán,
Manuel Ojeda
TAS-D++: Syntactic trees transformations for Automated Theorem Proving
UploadMissing publications? Search for publications with a matching author name.