Concepedia
1
Publications
21
Citations
H-Index
2000
Active since
Coromoto León Hernández is an author specializing in automated reasoning.
Top concepts
Automated Reasoning
Publications per year
2000–2000
Alan Mathison Turing
Coromoto León Hernández, C. Rodrı́guez · Dialnet (Universidad de la Rioja) · 2000 · 21 citations
Automated Reasoning, Alan Mathison Turing, Turing Machine +1
Rows per page
1–1 of 1