Search results for: Hirohisa Seki
Formal Aspects of Computing > 2017 > 29 > 3 > 401-421
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 170-182
Lecture Notes in Computer Science > Discovey Science > 397-398
Lecture Notes in Computer Science > Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications > 193-204
Lecture Notes in Computer Science > Multiple Approaches to Intelligent Systems > Reasoning > 215-225
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics and Programs > 415-430