Search results for: Takahito Aoto
IPSJ Transactions on Computer Vision and Applications > 2018 > 10 > 1 > 1-10
IPSJ Transactions on Computer Vision and Applications > 2017 > 9 > 1 > 1-6
IPSJ Transactions on Computer Vision and Applications > 2017 > 9 > 1 > 1-13
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 5. Theorem Proving > 242-256
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 6. System Descriptions > 267-276
Journal of Logic, Language and Information > 1999 > 8 > 2 > 217-242