|
|
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-04-16 06:17:38 +0900
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
|
|
 大崎公園
披露山公園
源氏山公園
しおさい公園
城ヶ島公園
 真鶴
逗子
熱海
下田
伊東
|
