Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium
- 発売日: 2001年2月15日 木曜日 - 発売中
- 新刊発見日: 2012年04月30日
- 在庫状況： 取扱中
- （2026年01月04日 02時17分 JST時点 - 詳細はこちら）
- Manfred Kerber/Michael Kohlhase
- A K Peters/CRC Press
- Amazon.co.jp 価格： ￥4,946.
- （2026年01月04日 02時17分 JST時点 - 詳細はこちら）
- ASIN： 1568811454
- EAN： 9781568811451
ハードカバー
新刊チェックキーワード
ocaml 1 user
[広告]
