Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Autoren

150066

Kazuhiro Ogata

Bibliographie ¹

(2000-2009)

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

2006

Kazuhiro Ogata Kokichi Futatsugi

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

Open Access Link

Sortieren

Filtern

Sprache

english/english

Periode

2000-2009