定理証明手習い
発売日発売中
- 著者
- ダニエル・P．フリードマン/カール・イーストルンド
- 出版社
- ラムダノート
- 形式
- 単行本（ソフトカバー）
- 在庫状況
- 在庫あり
- 新刊発見日
- 2017年11月10日
- 最終更新
- 2019年5月22日 06:37
- ISBN/EAN
- 9784908686023
- 価格
- ¥3,520（税込）
新刊チェックキーワード
-
lisp 15人が登録 -
ノート 5人が登録
-
scheme 4人が登録
-
ダニエル フリードマン 4人が登録
-
形式手法 2人が登録
-
フリードマン ダニエル 2人が登録
-
リスプ 1人が登録
-
中野ありさ 1人が登録