Login / Signup
Ruriko Otomo
ORCID
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Theorem Prover
Er Model
Formal Semantics
Database
Top Venues
JSAI-isAI Workshops
</>
Publications
</>
Alastair Butler
,
Ruriko Otomo
,
Zhen Zhou
,
Kei Yoshimoto
Treebank Annotation for Formal Semantics Research.
JSAI-isAI Workshops
(2012)