Concepedia
1
Publications
92
Citations
H-Index
2003
Active since
Lorena Villamil is an author specializing in automated reasoning, formal logic, and epistemology.
Top concepts
EpistemologyFormal LogicAutomated Reasoning
Publications per year
2003–2003
Proceedings of the 12th International Congress of Logic Methodology and Philosophy of Science
Leilani X. Alvarez, Roger Bosch, Lorena Villamil · Data Archiving and Networked Services (DANS) · 2003 · 92 citations
Applied Logic, Formal Logic, Non-classical Logic +7
Rows per page
1–1 of 1