Deutsche Gesellschaft
für phänomenologische Forschung

Zeitschrift | Autoren

150020

Kokichi Futatsugi

Bibliographie 2

in English

X

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

Algebra, meaning, and computation

2006

herausgegeben vonKokichi FutatsugiJean-Pierre JouannaudJosé Meseguer

Dordrecht, Springer

Open Access Link