Tetsuo Ida · 5 obras en el catálogoObrasAutomated Deduction in GeometryComputational OrigamiAArtificial Intelligence and Symbolic ComputationArtificial Intelligence and Symbolic ComputationFFunctional and Logic ProgrammingFunctional and Logic ProgrammingSSymbolic Computation in Software ScienceSymbolic Computation in Software Science