Author of the publication

An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination.

, , , and . ICMS, volume 9725 of Lecture Notes in Computer Science, page 82-89. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

New challenges for text mining: mapping between text and manually curated pathways., , , , , , and . BMC Bioinform., (2008)Evaluating contributions of natural language parsers to protein-protein interaction extraction., , , , and . Bioinform., 25 (3): 394-400 (2009)Structure-guided supertagger learning., , and . Nat. Lang. Eng., 18 (2): 205-234 (2012)Translation Errors and Incomprehensibility: a Case Study using Machine-Translated Second Language Proficiency Tests., , , and . LREC, European Language Resources Association (ELRA), (2016)Incremental Joint POS Tagging and Dependency Parsing in Chinese., , , and . IJCNLP, page 1216-1224. The Association for Computer Linguistics, (2011)Analysis of the Difficulties in Chinese Deep Parsing., , , , and . IWPT, page 48-57. The Association for Computational Linguistics, (2011)978-1-932432-04-6.SMT Systems in the University of Tokyo for NTCIR-9 PatentMT., , and . NTCIR, National Institute of Informatics (NII), (2011)SML Question-Answering System for World History Essay Exams at NTCIR-13 QALab-3., , , and . NTCIR, National Institute of Informatics (NII), (2017)Formula Simplification via Invariance Detection by Algebraically Indexed Types., and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 388-406. Springer, (2022)Integrating Multiple Dependency Corpora for Inducing Wide-coverage Japanese CCG Resources., , , , and . ACL (1), page 1042-1051. The Association for Computer Linguistics, (2013)