hondana.org
本を探す

 

Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
Yves Bertot Pierre Castéran
Springer
ISBN: 3540208542　 紀伊國屋, Amazon, WebCat
カテゴリ
評　　価
コメント
うち : ある日、こびとさんが付け足していった本。持ってないし表題からすると、守備範囲外のような気もするのだけれど…、買えってことなんだろうか？
他の本棚 orken, うち, kuwa
最終更新 : 2006-06-19 12:01:01 +0900
カテゴリ
評　　価
コメント
Fms