Decision Procedures: An Algorithmic Point of View
まだ評価がありません
Dec 1, 2010
·
英語
·
ペーパーバック
(306 ページ)