Conference | Speakers | Profile

Kazuhiro Ogata
Some tips on writing proof scores in the ots/cafeobj method
2006
in: Algebra, meaning, and computation, Dordrecht : Springer

Conference | Speakers | Profile
Some tips on writing proof scores in the ots/cafeobj method
2006
in: Algebra, meaning, and computation, Dordrecht : Springer