Statistics
Publications
1
Citations
146
H-Index
1
Active since
2019
Affiliations
Universidad Politécnica de Madrid(Current)
Anaïs Querol is an author at Universidad Politécnica de Madrid specializing in computer science, knowledge representation, and proof assistants.
Publications per year
2019–2019
1
1
Matteo Campanelli, Dario Fiore, Anaïs Querol · 2019 · 146 citations
1–1 of 1