Rippling : meta-level guidance for mathematical reasoning

書誌事項

Rippling : meta-level guidance for mathematical reasoning

Alan Bundy ... [et al.]

(Cambridge tracts in theoretical computer science, 56)

Cambridge University Press, 2005

  • : hbk

この図書・雑誌をさがす
注記

Includes bibliographical references and index

HTTP:URL=http://www.loc.gov/catdir/toc/cam051/2004051866.html Information=Table of contents

HTTP:URL=http://www.loc.gov/catdir/description/cam051/2004051866.html Information=Publisher description

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ