Login / Signup
Vincent Martin
ORCID
Publication Activity (10 Years)
Years Active: 2005-2023
Publications (10 Years): 13
Top Topics
Transformed Images
Theorem Prover
Ontology Driven
Formal Proof
Top Venues
CoRR
ISWC
CPP
Sensors
</>
Publications
</>