Repository | People

150066

References

Kazuhiro Ogata

Some tips on writing proof scores in the ots/cafeobj method

2006

with Futatsugi Kokichi

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link