Central and East European
Society for Phenomenology

Repository | Directory | Profile

150066

Kazuhiro Ogata

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

2006

Kazuhiro OgataKokichi Futatsugi

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

Open Access Link