Kokichi Futatsugi
(2000-2009)
XSome tips on writing proof scores in the ots/cafeobj method
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
(2000-2009)
XSome tips on writing proof scores in the ots/cafeobj method
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
