 |
|
|
JAIST Repository >
|
Recent SubmissionsLeibniz style arithmetization of human reasoning Fixpoint formulation of the completion problem of orthomodular lattices New interconnections for for massively parallel and distributed systems Synthesis of supervisors using learning algorithm of regular languages |
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||||||||||