Search results for: Hiroshi Fujita
Cardiovascular Intervention and Therapeutics > 2017 > 32 > 3 > 241-243
Computers in Biology and Medicine > 2016 > 72 > C > 43-53
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Automated Reasoning > 178-213
Studies in Computational Intelligence > Advances in Practical Multi-Agent Systems > Agent-Based Collaboration, Coordination and Decision Support > 33-48
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Experimental Papers > 299-308
Lecture Notes in Computer Science > Advances in Neural Networks – ISNN 2011 > Kernel Methods and Support Vector Machines > 121-129
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 1-15