A Theoretical Foundation for Generation of Equivalent Transformation Rules (Program Transformation, Symbolic Computation and Algebraic Manipulation)

スポンサーリンク

概要

著者

関連論文

もっと見る

スポンサーリンク